aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
authorEduardo Julian2021-11-16 03:15:39 -0400
committerEduardo Julian2021-11-16 03:15:39 -0400
commitce4ffdcecd271b9cebf62d71977a2d5cb5a1a0ee (patch)
tree895fb7d79ba3ba4440af47ac448a87ad815af3cc /stdlib/source/test
parent1b110d177a8bc12776a6d24bd6d3f693abe5ba2a (diff)
64-bit integers that work in both normal Ruby & DragonRuby.
Diffstat (limited to 'stdlib/source/test')
-rw-r--r--stdlib/source/test/lux.lux10
-rw-r--r--stdlib/source/test/lux/math/number/frac.lux48
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)