From 3744a2212a89d4ab0f176350d2d2f90696235a40 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 19 Sep 2017 19:24:09 -0400 Subject: - Function generation. --- new-luxc/source/luxc/generator/case.jvm.lux | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'new-luxc/source/luxc/generator/case.jvm.lux') diff --git a/new-luxc/source/luxc/generator/case.jvm.lux b/new-luxc/source/luxc/generator/case.jvm.lux index 1f351325e..88b3dd5d3 100644 --- a/new-luxc/source/luxc/generator/case.jvm.lux +++ b/new-luxc/source/luxc/generator/case.jvm.lux @@ -3,10 +3,10 @@ (lux (control [monad #+ do]) [macro "lux/" Monad]) (luxc (lang ["ls" synthesis]) - (generator (host ["$" jvm] + (generator [expr] + (host ["$" jvm] (jvm ["$t" type] - ["$i" inst])) - [expr])) + ["$i" inst])))) [../runtime]) (def: $Object $;Type ($t;class "java.lang.Object" (list))) @@ -24,7 +24,7 @@ (def: peekI $;Inst (|>. $i;DUP - ($i;INVOKESTATIC ../runtime;runtime-name + ($i;INVOKESTATIC ../runtime;runtime-class "pm_peek" ($t;method (list ../runtime;$Stack) (#;Some $Object) @@ -33,7 +33,7 @@ (def: popI $;Inst - (|>. ($i;INVOKESTATIC ../runtime;runtime-name + (|>. ($i;INVOKESTATIC ../runtime;runtime-class "pm_pop" ($t;method (list ../runtime;$Stack) (#;Some ../runtime;$Stack) @@ -42,7 +42,7 @@ (def: pushI $;Inst - (|>. ($i;INVOKESTATIC ../runtime;runtime-name + (|>. ($i;INVOKESTATIC ../runtime;runtime-class "pm_push" ($t;method (list ../runtime;$Stack $Object) (#;Some ../runtime;$Stack) @@ -124,7 +124,7 @@ (|>. peekI ($i;CHECKCAST ($t;descriptor ../runtime;$Tuple)) ($i;int (nat-to-int idx)) - ($i;INVOKESTATIC ../runtime;runtime-name + ($i;INVOKESTATIC ../runtime;runtime-class (if tail? "pm_right" "pm_left") ($t;method (list ../runtime;$Tuple $t;int) (#;Some $Object) @@ -151,7 +151,7 @@ ($i;CHECKCAST ($t;descriptor ../runtime;$Variant)) ($i;int (nat-to-int idx)) flagI - ($i;INVOKESTATIC ../runtime;runtime-name "pm_variant" + ($i;INVOKESTATIC ../runtime;runtime-class "pm_variant" ($t;method (list ../runtime;$Variant ../runtime;$Tag ../runtime;$Flag) (#;Some ../runtime;$Datum) (list)) @@ -193,7 +193,7 @@ (wrap (|>. pathI ($i;label @else) $i;POP - ($i;INVOKESTATIC ../runtime;runtime-name + ($i;INVOKESTATIC ../runtime;runtime-class "pm_fail" ($t;method (list) #;None (list)) false) -- cgit v1.2.3