diff options
| author | Eduardo Julian | 2017-09-08 19:19:22 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-09-08 19:19:22 -0400 |
| commit | 06713336cdfd09db3eba26eda2c04db05bcd71e4 (patch) | |
| tree | f775c46fd273c523e633e20386c332b925fe39e3 /new-luxc/test | |
| parent | 2697c570707ffa379225b6112b09fdec654eb0c8 (diff) | |
- Re-named "jvm-import" to "import".
Diffstat (limited to 'new-luxc/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) |