diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/implicit.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux index ba60470c7..dd5d5ea72 100644 --- a/stdlib/source/test/lux/type/implicit.lux +++ b/stdlib/source/test/lux/type/implicit.lux @@ -7,17 +7,17 @@ [functor {"+" []}] [monoid {"+" []}] [monad {"+" [do]}] - ["." enum]] + ["[0]" enum]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (/.implicit: [n.multiplication]) @@ -36,7 +36,7 @@ ($_ _.and (_.cover [/.\\] (let [first_order! - (let [(^open "list\.") (list.equivalence n.equivalence)] + (let [(^open "list\[0]") (list.equivalence n.equivalence)] (and (bit\= (\ n.equivalence = left right) (/.\\ = left right)) (list\= (\ list.functor each ++ (enum.range n.enum start end)) |