From 86c04a4ce3be995edf14ae7f3bf1e137d478c40e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 15 Sep 2021 01:52:03 -0400
Subject: Correctly analyzing records in the presence of local bindings.

---
 stdlib/source/test/lux.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'stdlib/source/test')

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)))))
         )))
-- 
cgit v1.2.3