From 8e4b93bfc90ca81d615bf9dd5af43f29fdd0f5ae Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 13 Mar 2019 21:14:22 -0400 Subject: Replaced the digit separator in numbers from "_" to ",". --- stdlib/source/test/lux.lux | 15 +++++++-------- stdlib/source/test/lux/data/collection/bits.lux | 4 ++-- stdlib/source/test/lux/data/format/json.lux | 2 +- stdlib/source/test/lux/macro/poly/equivalence.lux | 2 +- stdlib/source/test/lux/time/instant.lux | 2 +- stdlib/source/test/lux/world/file.lux | 3 ++- 6 files changed, 14 insertions(+), 14 deletions(-) (limited to 'stdlib/source/test') 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 (#+) ] - [js + [js (#+) ]]]]] ## [control ## ["._" contract] @@ -85,7 +84,7 @@ ## ["._" default ## ["._" evaluation] ## [phase - ## ["._" translation + ## ["._" generation ## [scheme ## ["._scheme" function] ## ["._scheme" loop] @@ -397,11 +396,11 @@ (..conversion <=>))] ["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) -- cgit v1.2.3