diff options
Diffstat (limited to 'stdlib/source/test/lux/type/check.lux')
| -rw-r--r-- | stdlib/source/test/lux/type/check.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index d3d0570a1..2184de475 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -12,7 +12,7 @@ ["." maybe] ["." text ("#@." equivalence)] [number - ["." nat]] + ["n" nat]] [collection ["." list ("#@." functor)] ["." set]]] @@ -189,7 +189,7 @@ (/.check .Bit var)))) ) (do r.monad - [num-connections (|> r.nat (:: @ map (n/% 100))) + [num-connections (|> r.nat (:: @ map (n.% 100))) boundT (|> ..type (r.filter (|>> (case> (#.Var _) #0 _ #1)))) pick-pcg (r.and r.nat r.nat)] ($_ _.and @@ -201,10 +201,10 @@ tailR (/.ring tail-id)] (/.assert "" (let [same-rings? (:: set.equivalence = headR tailR) - expected-size? (n/= (inc num-connections) (set.size headR)) + expected-size? (n.= (inc num-connections) (set.size headR)) same-vars? (|> (set.to-list headR) - (list.sort n/<) - (:: (list.equivalence nat.equivalence) = (list.sort n/< (#.Cons head-id ids))))] + (list.sort n.<) + (:: (list.equivalence n.equivalence) = (list.sort n.< (#.Cons head-id ids))))] (and same-rings? expected-size? same-vars?)))))) @@ -237,7 +237,7 @@ headRR-post (/.ring head-idR)] (/.assert "" (let [same-rings? (:: set.equivalence = headRL-post headRR-post) - expected-size? (n/= (n/* 2 (inc num-connections)) + expected-size? (n.= (n.* 2 (inc num-connections)) (set.size headRL-post)) union? (:: set.equivalence = headRL-post (set.union headRL-pre headRR-pre))] (and same-rings? |