diff options
Diffstat (limited to 'stdlib/source/test/lux/control/continuation.lux')
-rw-r--r-- | stdlib/source/test/lux/control/continuation.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux index ac433a867..ecb4ee77d 100644 --- a/stdlib/source/test/lux/control/continuation.lux +++ b/stdlib/source/test/lux/control/continuation.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [data [collection - ["." list]]] + ["[0]" list]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: injection (All (_ o) (Injection (All (_ i) (/.Cont i o)))) @@ -32,8 +32,8 @@ (<| (_.covering /._) (do random.monad [sample random.nat - .let [(^open "_\.") /.apply - (^open "_\.") /.monad] + .let [(^open "_\[0]") /.apply + (^open "_\[0]") /.monad] elems (random.list 3 random.nat)]) (_.for [/.Cont]) ($_ _.and @@ -66,8 +66,8 @@ (restart [(n.+ 10 output) (++ idx)]) (in output)))))) (_.cover [/.shift /.reset] - (let [(^open "_\.") /.monad - (^open "list\.") (list.equivalence n.equivalence) + (let [(^open "_\[0]") /.monad + (^open "list\[0]") (list.equivalence n.equivalence) visit (: (-> (List Nat) (/.Cont (List Nat) (List Nat))) (function (visit xs) |