diff options
Diffstat (limited to 'new-luxc/test/test')
| -rw-r--r-- | new-luxc/test/test/luxc/generator/procedure/common.jvm.lux | 6 | ||||
| -rw-r--r-- | new-luxc/test/test/luxc/generator/structure.lux | 4 |
2 files changed, 5 insertions, 5 deletions
diff --git a/new-luxc/test/test/luxc/generator/procedure/common.jvm.lux b/new-luxc/test/test/luxc/generator/procedure/common.jvm.lux index 1b150561c..1da4d7c62 100644 --- a/new-luxc/test/test/luxc/generator/procedure/common.jvm.lux +++ b/new-luxc/test/test/luxc/generator/procedure/common.jvm.lux @@ -13,7 +13,7 @@ [list])) ["r" math/random "r/" Monad<Random>] [macro #+ Monad<Lux>] - [host #+ jvm-import] + [host] test) (luxc (lang ["ls" synthesis]) [analyser] @@ -43,7 +43,7 @@ ["bit or" bit;or] ["bit xor" bit;xor] ["bit shift-left" bit;shift-left] - ["bit unsigned-shift-right" bit;unsigned-shift-right] + ["bit unsigned-shift-right" bit;shift-right] )] ($_ seq (test "bit count" @@ -62,7 +62,7 @@ (#ls;Nat param))))) (macro;run (init-compiler [])) (case> (#R;Success valueG) - (i.= (bit;shift-right param (nat-to-int subject)) + (i.= (bit;signed-shift-right param (nat-to-int subject)) (:! Int valueG)) _ diff --git a/new-luxc/test/test/luxc/generator/structure.lux b/new-luxc/test/test/luxc/generator/structure.lux index 1e4f14518..4652c4bd9 100644 --- a/new-luxc/test/test/luxc/generator/structure.lux +++ b/new-luxc/test/test/luxc/generator/structure.lux @@ -11,7 +11,7 @@ [list])) ["r" math/random "r/" Monad<Random>] [macro #+ Monad<Lux>] - [host #+ jvm-import] + [host] test) (luxc (lang ["ls" synthesis]) [analyser] @@ -22,7 +22,7 @@ ["@;" common])) (test/luxc common)) -(jvm-import java.lang.Integer) +(host;import java.lang.Integer) (def: gen-primitive (r;Random ls;Synthesis) |