diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/test/lux/math/number/frac.lux | 48 |
2 files changed, 30 insertions, 28 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 84353e082..7026c0a48 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -865,10 +865,12 @@ (hide left)) true))))) (_.cover [/.same?] - (let [not_left (|> left ++ --)] - (and (/.same? left left) - (and (n.= not_left left) - (not (/.same? not_left left)))))) + (let [not_left (|> left ++ -- %.nat) + left (%.nat left)] + (and (and (/.same? left left) + (/.same? not_left not_left)) + (and (text#= left not_left) + (not (/.same? left not_left)))))) (_.cover [/.Rec] (let [list (: (/.Rec NList (Maybe [Nat NList])) diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux index 2b960b43e..bc77f1f32 100644 --- a/stdlib/source/test/lux/math/number/frac.lux +++ b/stdlib/source/test/lux/math/number/frac.lux @@ -1,28 +1,28 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - ["@" target] - ["[0]" ffi] - [abstract - [monad {"+" do}] - [\\specification - ["$[0]" equivalence] - ["$[0]" hash] - ["$[0]" order] - ["$[0]" monoid] - ["$[0]" codec]]] - [data - ["[0]" bit ("[1]#[0]" equivalence)]] - [math - ["[0]" random {"+" Random}]]]] - [\\library - ["[0]" / - [// "*" - ["n" nat] - ["i" int] - ["r" rev] - ["[0]" i64]]]]) + [library + [lux "*" + ["_" test {"+" Test}] + ["@" target] + ["[0]" ffi] + [abstract + [monad {"+" do}] + [\\specification + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" monoid] + ["$[0]" codec]]] + [data + ["[0]" bit ("[1]#[0]" equivalence)]] + [math + ["[0]" random {"+" Random}]]]] + [\\library + ["[0]" / + [// "*" + ["n" nat] + ["i" int] + ["r" rev] + ["[0]" i64]]]]) (def: random (Random Frac) |