From ef77466323f85a3d1b65b46a3deb93652ef22085 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 9 Sep 2021 00:29:12 -0400
Subject: The old record syntax has been re-purposed as variant syntax.

---
 stdlib/source/test/lux.lux | 21 ++++++++++++---------
 1 file changed, 12 insertions(+), 9 deletions(-)

(limited to 'stdlib/source/test/lux.lux')

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index d40709cf6..fefe5270e 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -329,13 +329,14 @@
                           (/.' #..example))
                   (code\= (code.form (list (code.nat 6) (code.int +7) (code.rev .8)))
                           (/.' (6 +7 .8)))
+                  (code\= (code.variant (list (code.frac +9.0)
+                                              (code.text "9")
+                                              (code.identifier ["" "i8"])))
+                          (/.' {+9.0 "9" i8}))
                   (code\= (code.tuple (list (code.frac +9.0)
                                             (code.text "9")
                                             (code.identifier ["" "i8"])))
                           (/.' [+9.0 "9" i8]))
-                  (code\= (code.record (list [(code.identifier [/.prelude_module "i7"])
-                                              (code.identifier [..current_module "i6"])]))
-                          (/.' {.i7 ..i6}))
                   (not (code\= (code.nat example_nat)
                                (/.' (~ (code.nat example_nat)))))
                   ))))
@@ -364,13 +365,14 @@
                           (/.` #..example))
                   (code\= (code.form (list (code.nat 6) (code.int +7) (code.rev .8)))
                           (/.` (6 +7 .8)))
+                  (code\= (code.variant (list (code.frac +9.0)
+                                              (code.text "9")
+                                              (code.identifier [..current_module "i8"])))
+                          (/.` {+9.0 "9" i8}))
                   (code\= (code.tuple (list (code.frac +9.0)
                                             (code.text "9")
                                             (code.identifier [..current_module "i8"])))
                           (/.` [+9.0 "9" i8]))
-                  (code\= (code.record (list [(code.identifier [/.prelude_module "i7"])
-                                              (code.identifier [..current_module "i6"])]))
-                          (/.` {.i7 ..i6}))
                   (code\= (code.nat example_nat)
                           (/.` (~ (code.nat example_nat))))))))
 
@@ -398,13 +400,14 @@
                           (/.`' #..example))
                   (code\= (code.form (list (code.nat 6) (code.int +7) (code.rev .8)))
                           (/.`' (6 +7 .8)))
+                  (code\= (code.variant (list (code.frac +9.0)
+                                              (code.text "9")
+                                              (code.identifier ["" "i8"])))
+                          (/.`' {+9.0 "9" i8}))
                   (code\= (code.tuple (list (code.frac +9.0)
                                             (code.text "9")
                                             (code.identifier ["" "i8"])))
                           (/.`' [+9.0 "9" i8]))
-                  (code\= (code.record (list [(code.identifier [/.prelude_module "i7"])
-                                              (code.identifier [..current_module "i6"])]))
-                          (/.`' {.i7 ..i6}))
                   (code\= (code.nat example_nat)
                           (/.`' (~ (code.nat example_nat))))))))
 
-- 
cgit v1.2.3