diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/structure.jvm.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/translation/structure.jvm.lux | 52 |
1 files changed, 26 insertions, 26 deletions
diff --git a/new-luxc/source/luxc/lang/translation/structure.jvm.lux b/new-luxc/source/luxc/lang/translation/structure.jvm.lux index ddb48a31e..9a78be78e 100644 --- a/new-luxc/source/luxc/lang/translation/structure.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/structure.jvm.lux @@ -1,4 +1,4 @@ -(;module: +(.module: lux (lux (control [monad #+ do] ["ex" exception #+ exception:]) @@ -7,55 +7,55 @@ [macro] [host #+ do-to]) (luxc ["&" lang] - (lang [";L" host] + (lang [".L" host] (host ["$" jvm] (jvm ["$t" type] ["$d" def] ["$i" inst])) ["la" analysis] ["ls" synthesis] - (translation [";T" common])))) + (translation [".T" common])))) (exception: #export Not-A-Tuple) -(def: $Object $;Type ($t;class "java.lang.Object" (list))) +(def: $Object $.Type ($t.class "java.lang.Object" (list))) (def: #export (translate-tuple translate members) - (-> (-> ls;Synthesis (Meta $;Inst)) (List ls;Synthesis) (Meta $;Inst)) - (do macro;Monad<Meta> - [#let [size (list;size members)] - _ (&;assert Not-A-Tuple (%code (` [(~@ members)])) - (n.>= +2 size)) + (-> (-> ls.Synthesis (Meta $.Inst)) (List ls.Synthesis) (Meta $.Inst)) + (do macro.Monad<Meta> + [#let [size (list.size members)] + _ (&.assert Not-A-Tuple (%code (` [(~@ members)])) + (n/>= +2 size)) membersI (|> members - list;enumerate - (monad;map @ (function [[idx member]] + list.enumerate + (monad.map @ (function [[idx member]] (do @ [memberI (translate member)] - (wrap (|>. $i;DUP - ($i;int (nat-to-int idx)) + (wrap (|>> $i.DUP + ($i.int (nat-to-int idx)) memberI - $i;AASTORE))))) - (:: @ map $i;fuse))] - (wrap (|>. ($i;int (nat-to-int size)) - ($i;array $Object) + $i.AASTORE))))) + (:: @ map $i.fuse))] + (wrap (|>> ($i.int (nat-to-int size)) + ($i.array $Object) membersI)))) (def: (flagI tail?) - (-> Bool $;Inst) + (-> Bool $.Inst) (if tail? - ($i;string "") - $i;NULL)) + ($i.string "") + $i.NULL)) (def: #export (translate-variant translate tag tail? member) - (-> (-> ls;Synthesis (Meta $;Inst)) Nat Bool ls;Synthesis (Meta $;Inst)) - (do macro;Monad<Meta> + (-> (-> ls.Synthesis (Meta $.Inst)) Nat Bool ls.Synthesis (Meta $.Inst)) + (do macro.Monad<Meta> [memberI (translate member)] - (wrap (|>. ($i;int (nat-to-int tag)) + (wrap (|>> ($i.int (nat-to-int tag)) (flagI tail?) memberI - ($i;INVOKESTATIC hostL;runtime-class + ($i.INVOKESTATIC hostL.runtime-class "variant_make" - ($t;method (list $t;int $Object $Object) - (#;Some ($t;array +1 $Object)) + ($t.method (list $t.int $Object $Object) + (#.Some ($t.array +1 $Object)) (list)) false))))) |