diff options
| author | Eduardo Julian | 2019-03-13 21:14:22 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-03-13 21:14:22 -0400 |
| commit | 8e4b93bfc90ca81d615bf9dd5af43f29fdd0f5ae (patch) | |
| tree | 0b343949908c11f8f27d70e4d40b1ccd0f969add /stdlib/source/test/lux/macro/poly/equivalence.lux | |
| parent | 810c2c9f524603c161f265e4ed17c6556bdef959 (diff) | |
Replaced the digit separator in numbers from "_" to ",".
Diffstat (limited to 'stdlib/source/test/lux/macro/poly/equivalence.lux')
| -rw-r--r-- | stdlib/source/test/lux/macro/poly/equivalence.lux | 2 |
1 files changed, 1 insertions, 1 deletions
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 |