diff options
author | Eduardo Julian | 2021-09-15 01:52:03 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-15 01:52:03 -0400 |
commit | 86c04a4ce3be995edf14ae7f3bf1e137d478c40e (patch) | |
tree | d3bc5299e0e82b8253648d6abc8af79de77e5f89 /stdlib/source/test | |
parent | fbecb061fb8530ad7d04e8e3f67605e2964822e4 (diff) |
Correctly analyzing records in the presence of local bindings.
Diffstat (limited to 'stdlib/source/test')
-rw-r--r-- | stdlib/source/test/lux.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 867fe04ed..932611eed 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -892,8 +892,8 @@ #right r])) (template: (!pair <left> <right>) - [[#left <left> - #right <right>]]) + [[..#left <left> + ..#right <right>]]) (def: for_case Test @@ -929,8 +929,8 @@ (/.case [expected_nat expected_int] [0 +0] true _ false) - (/.case [#left expected_nat #right expected_int] - [#left 0 #right +0] true + (/.case [..#left expected_nat ..#right expected_int] + [..#left 0 ..#right +0] true _ false) (/.case (: (Either Nat Int) {.#Left expected_nat}) {.#Left 0} true @@ -950,12 +950,12 @@ (/.^or "+0.5" "+1.25") true _ false))) (_.cover [/.^] - (/.case [#left expected_nat #right expected_int] + (/.case [..#left expected_nat ..#right expected_int] (/.^ (!pair 0 +0)) true _ false)) (_.cover [/.^@] (let [expected_pair (: (Pair Nat Int) - [#left expected_nat #right expected_int])] + [..#left expected_nat ..#right expected_int])] (/.case expected_pair (/.^@ actual_pair (/.^ (!pair actual_left actual_right))) (and (/.same? expected_pair actual_pair) @@ -963,7 +963,7 @@ (/.same? expected_int actual_right))))) (_.cover [/.^multi] (let [expected_pair (: (Pair Nat Int) - [#left expected_nat #right expected_int])] + [..#left expected_nat ..#right expected_int])] (and (/.case expected_pair (/.^multi (/.^ (!pair 0 actual_right)) [actual_right @@ -992,7 +992,7 @@ (_.cover [/.let] (and (/.let [actual_nat expected_nat] (/.same? expected_nat actual_nat)) - (/.let [[actual_left actual_right] [#left expected_nat #right expected_int]] + (/.let [[actual_left actual_right] [..#left expected_nat ..#right expected_int]] (and (/.same? expected_nat actual_left) (/.same? expected_int actual_right))))) ))) |