From 06713336cdfd09db3eba26eda2c04db05bcd71e4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 8 Sep 2017 19:19:22 -0400 Subject: - Re-named "jvm-import" to "import". --- new-luxc/test/test/luxc/generator/procedure/common.jvm.lux | 6 +++--- new-luxc/test/test/luxc/generator/structure.lux | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) (limited to 'new-luxc/test') 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] [macro #+ Monad] - [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] [macro #+ Monad] - [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) -- cgit v1.2.3