diff options
author | Eduardo Julian | 2019-11-18 18:45:52 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-11-18 18:45:52 -0400 |
commit | fa40cabbf361b717023183b57eed3bb72919a080 (patch) | |
tree | 79c141f26427f3fd1385c257deaf0473d1f38282 /stdlib/source/test | |
parent | a5a71a224408b6a7a736fd2f4c06646bf5c89fd8 (diff) |
Minor adjustments.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/target/jvm.lux | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux index 2617eeacf..7b2283cb8 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -53,10 +53,7 @@ ["#." signed] ["#." unsigned]] ["#" bytecode (#+ Label Bytecode) - ["#." instruction] - [environment - [limit - [registry (#+ Register)]]]] + ["#." instruction]] ["#." type (#+ Type) ["." category (#+ Value Object Class)]]]}) @@ -993,13 +990,13 @@ *wrap))))) store-and-load (: (All [a] (-> (Random a) (-> a (Bytecode Any)) (Bytecode Any) - [(-> Register (Bytecode Any)) (-> Register (Bytecode Any))] + [(-> Nat (Bytecode Any)) (-> Nat (Bytecode Any))] (-> a (-> Any Bit)) (Random Bit))) (function (_ random-value literal *wrap [store load] test) (do random.monad [expected random-value - register (:: @ map (|>> (n.% 128) /unsigned.u1 try.assume) random.nat)] + register (:: @ map (n.% 128) random.nat)] (<| (..bytecode (test expected)) (do /.monad [_ (literal expected) @@ -1033,8 +1030,7 @@ (do /.monad [_ (..$Byte::literal base) _ /.istore-0 - @0 (/.register 0) - _ (/.iinc @0 increment) + _ (/.iinc 0 increment) _ /.iload-0 _ /.i2l] ..$Long::wrap))))))) |