diff options
| author | Eduardo Julian | 2021-09-09 00:29:12 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-09 00:29:12 -0400 |
| commit | ef77466323f85a3d1b65b46a3deb93652ef22085 (patch) | |
| tree | c2715b8cf6e7864fef87e22ee6e206c7c1758849 /stdlib/source/test/lux/control/parser | |
| parent | 085c9a6ef151531cb01b842ed2f4366a49b78367 (diff) | |
The old record syntax has been re-purposed as variant syntax.
Diffstat (limited to 'stdlib/source/test/lux/control/parser')
| -rw-r--r-- | stdlib/source/test/lux/control/parser/binary.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/parser/code.lux | 11 |
2 files changed, 2 insertions, 13 deletions
diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux index 73c94aa76..7e8ddd47c 100644 --- a/stdlib/source/test/lux/control/parser/binary.lux +++ b/stdlib/source/test/lux/control/parser/binary.lux @@ -108,9 +108,7 @@ ..random_name random_sequence random_sequence - (do [! random.monad] - [size (\ ! each (n.% 2) random.nat)] - (random.list size (random.and recur recur))) + random_sequence ))))))) (def: random_type diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index 6e072a050..8ee19b7e4 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -92,19 +92,10 @@ (\ int.equivalence = expected_right actual_right)))))))] [/.form code.form] + [/.variant code.variant] [/.tuple code.tuple] )) (do [! random.monad] - [expected_left random.nat - expected_right random.int] - (_.cover [/.record] - (|> (/.result (/.record (<>.and /.nat /.int)) - (list (code.record (list [(code.nat expected_left) - (code.int expected_right)])))) - (!expect (^multi (#try.Success [actual_left actual_right]) - (and (\ nat.equivalence = expected_left actual_left) - (\ int.equivalence = expected_right actual_right))))))) - (do [! random.monad] [expected_local random.nat expected_global random.int] (_.cover [/.local] |