diff options
| author | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
| commit | f9e33ae96aec4741385a576719786092c9e68043 (patch) | |
| tree | 140057dfc054346eab721f9905f0f0fff22ad933 /stdlib/source/test/lux/type/poly | |
| parent | 56d2835d35093e2d92c5e8a4371aa322b55e037b (diff) | |
De-sigil-ification: #
Diffstat (limited to 'stdlib/source/test/lux/type/poly')
| -rw-r--r-- | stdlib/source/test/lux/type/poly/equivalence.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/type/poly/json.lux | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux index 6be8c7ec6..9f353f55a 100644 --- a/stdlib/source/test/lux/type/poly/equivalence.lux +++ b/stdlib/source/test/lux/type/poly/equivalence.lux @@ -57,8 +57,8 @@ (def: random (Random Record) (do [! random.monad] - [size (# ! each (n.% 2) random.nat) - .let [gen_int (|> random.int (# ! each (|>> i.abs (i.% +1,000,000))))]] + [size (at ! each (n.% 2) random.nat) + .let [gen_int (|> random.int (at ! each (|>> i.abs (i.% +1,000,000))))]] (all random.and random.bit gen_int diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux index 9ecd3684c..3ec8050a6 100644 --- a/stdlib/source/test/lux/type/poly/json.lux +++ b/stdlib/source/test/lux/type/poly/json.lux @@ -85,12 +85,12 @@ (def: qty (All (_ unit) (Random (unit.Qty unit))) - (# random.monad each (debug.private unit.in') random.int)) + (at random.monad each (debug.private unit.in') random.int)) (def: gen_record (Random Record) (do [! random.monad] - [size (# ! each (n.% 2) random.nat)] + [size (at ! each (n.% 2) random.nat)] (all random.and random.bit random.safe_frac |