diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux.lux | 10 |
1 files changed, 6 insertions, 4 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])) |