aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux.lux15
-rw-r--r--stdlib/source/test/lux/data/collection/bits.lux4
-rw-r--r--stdlib/source/test/lux/data/format/json.lux2
-rw-r--r--stdlib/source/test/lux/macro/poly/equivalence.lux2
-rw-r--r--stdlib/source/test/lux/time/instant.lux2
-rw-r--r--stdlib/source/test/lux/world/file.lux3
6 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index c2ca8b3ba..87bf92b1b 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -5,7 +5,6 @@
[case (#+)]
[loop (#+)]
[function (#+)]
- [expression (#+)]
[extension (#+)
[common (#+)]
[host (#+)]])]
@@ -40,10 +39,10 @@
[tool
[compiler
[phase
- [translation
- [scheme
+ [generation
+ [scheme (#+)
<host-modules>]
- [js
+ [js (#+)
<host-modules>]]]]]
## [control
## ["._" contract]
@@ -85,7 +84,7 @@
## ["._" default
## ["._" evaluation]
## [phase
- ## ["._" translation
+ ## ["._" generation
## [scheme
## ["._scheme" function]
## ["._scheme" loop]
@@ -397,11 +396,11 @@
(..conversion <gen> <forward> <backward> <=>))]
["Int -> Nat"
- i/= .nat .int (r/map (i/% +1_000_000) r.int)]
+ i/= .nat .int (r/map (i/% +1,000,000) r.int)]
["Nat -> Int"
- n/= .int .nat (r/map (n/% 1_000_000) r.nat)]
+ n/= .int .nat (r/map (n/% 1,000,000) r.nat)]
["Int -> Frac"
- i/= int-to-frac frac-to-int (r/map (i/% +1_000_000) r.int)]
+ i/= int-to-frac frac-to-int (r/map (i/% +1,000,000) r.int)]
["Frac -> Int"
f/= frac-to-int int-to-frac (r/map math.floor r.frac)]
["Rev -> Frac"
diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux
index aeeac1429..e932aacef 100644
--- a/stdlib/source/test/lux/data/collection/bits.lux
+++ b/stdlib/source/test/lux/data/collection/bits.lux
@@ -22,14 +22,14 @@
(def: bits
(r.Random /.Bits)
(do r.monad
- [size (size 1 1_000)
+ [size (size 1 1,000)
idx (|> r.nat (:: @ map (n/% size)))]
(wrap (|> /.empty (/.set idx)))))
(context: "Bits."
(<| (times 100)
(do @
- [size (size 1 1_000)
+ [size (size 1 1,000)
idx (|> r.nat (:: @ map (n/% size)))
sample bits]
($_ seq
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index f54b51c3b..cdaeb5d31 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -49,7 +49,7 @@
($_ r.or
(:: @ wrap [])
r.bit
- (|> r.frac (:: @ map (f/* +1_000_000.0)))
+ (|> r.frac (:: @ map (f/* +1,000,000.0)))
(r.unicode size)
(r.row size gen-json)
(r.dictionary text.hash size (r.unicode size) gen-json)
diff --git a/stdlib/source/test/lux/macro/poly/equivalence.lux b/stdlib/source/test/lux/macro/poly/equivalence.lux
index 3c6bfd234..a73d71112 100644
--- a/stdlib/source/test/lux/macro/poly/equivalence.lux
+++ b/stdlib/source/test/lux/macro/poly/equivalence.lux
@@ -49,7 +49,7 @@
(r.Random Record)
(do r.monad
[size (:: @ map (n/% 2) r.nat)
- #let [gen-int (|> r.int (:: @ map (|>> int/abs (i/% +1_000_000))))]]
+ #let [gen-int (|> r.int (:: @ map (|>> int/abs (i/% +1,000,000))))]]
($_ r.and
r.bit
gen-int
diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux
index c9d7aad55..a95eaf612 100644
--- a/stdlib/source/test/lux/time/instant.lux
+++ b/stdlib/source/test/lux/time/instant.lux
@@ -18,7 +18,7 @@
[//
["_." duration]])
-(def: boundary Int +99_999_999_999_999)
+(def: boundary Int +99,999,999,999,999)
(def: #export instant
(r.Random @.Instant)
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index 361cf99ba..80d4a524b 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -25,7 +25,8 @@
["_." binary]])
(def: truncate-millis
- (|>> (i// +1_000) (i/* +1_000)))
+ (let [millis +1,000]
+ (|>> (i// millis) (i/* millis))))
(def: (creation-and-deletion number)
(-> Nat Test)