aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test')
-rw-r--r--stdlib/source/test/lux.lux16
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)))))
)))