diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/data/binary.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 2a8f519fa..b8775be48 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -40,7 +40,7 @@ [byte random.nat] (exec (try.assumed (/.write/8 idx byte output)) (recur (inc idx)))) - (\ random.monad wrap output))))) + (\ random.monad in output))))) (def: (throws? exception try) (All [e a] (-> (Exception e) (Try a) Bit)) @@ -64,8 +64,8 @@ [pre (read 0 binary) _ (write 0 value binary) post (read 0 binary)] - (wrap (and (n.= 0 pre) - (n.= capped_value post))))) + (in (and (n.= 0 pre) + (n.= capped_value post))))) (throws? /.index_out_of_bounds (read 1 binary)) (throws? /.index_out_of_bounds (write 1 value binary))))) @@ -158,6 +158,6 @@ copy (/.copy 1 0 sample 0 (/.create 2)) copy/0 (/.read/8 0 copy) copy/1 (/.read/8 1 copy)] - (wrap (and (n.= sample/0 copy/0) - (n.= 0 copy/1))))))) + (in (and (n.= sample/0 copy/0) + (n.= 0 copy/1))))))) ))))) |