diff options
| author | Eduardo Julian | 2021-11-16 03:15:39 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-11-16 03:15:39 -0400 |
| commit | ce4ffdcecd271b9cebf62d71977a2d5cb5a1a0ee (patch) | |
| tree | 895fb7d79ba3ba4440af47ac448a87ad815af3cc /stdlib/source/test/lux.lux | |
| parent | 1b110d177a8bc12776a6d24bd6d3f693abe5ba2a (diff) | |
64-bit integers that work in both normal Ruby & DragonRuby.
Diffstat (limited to 'stdlib/source/test/lux.lux')
| -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])) |