diff options
author | Eduardo Julian | 2020-05-17 20:10:42 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-05-17 20:10:42 -0400 |
commit | d97f92842981501a8e0d95a1b4f1ba3d9e72f0d5 (patch) | |
tree | 3aa01a37da19e1e63bbf8cd204ae6743166e386a /stdlib/source/test/lux/type | |
parent | 9219da9a9bf29b3a2f7f10d4865b939ded28e003 (diff) |
Local binding names for (co|indexed-)?monads are now explicitly set.
Diffstat (limited to 'stdlib/source/test/lux/type')
-rw-r--r-- | stdlib/source/test/lux/type/check.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 2184de475..96fd5fcbb 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -81,7 +81,7 @@ (def: (build-ring num-connections) (-> Nat (/.Check [[Nat Type] (List [Nat Type]) [Nat Type]])) - (do /.monad + (do {@ /.monad} [[head-id head-type] /.var ids+types (monad.seq @ (list.repeat num-connections /.var)) [tail-id tail-type] (monad.fold @ (function (_ [tail-id tail-type] [_head-id _head-type]) @@ -188,7 +188,7 @@ _ (/.check var Nothing)] (/.check .Bit var)))) ) - (do r.monad + (do {@ r.monad} [num-connections (|> r.nat (:: @ map (n.% 100))) boundT (|> ..type (r.filter (|>> (case> (#.Var _) #0 _ #1)))) pick-pcg (r.and r.nat r.nat)] @@ -209,7 +209,7 @@ expected-size? same-vars?)))))) (_.test "When a var in a ring is bound, all the ring is bound." - (type-checks? (do /.monad + (type-checks? (do {@ /.monad} [[[head-id headT] ids+types tailT] (build-ring num-connections) #let [ids (list@map product.left ids+types)] _ (/.check headT boundT) |