From 33188f943329296ff4c19ad3fcf717194e3b237e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 14 Jan 2023 02:29:20 -0400
Subject: Added compilation of definitions for C++.

---
 stdlib/source/test/lux/meta.lux              | 127 +++++++++++++--------------
 stdlib/source/test/lux/world/environment.lux |   4 +-
 2 files changed, 63 insertions(+), 68 deletions(-)

(limited to 'stdlib/source/test')

diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index 8fd22359c..1b037cb8a 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -856,24 +856,34 @@
                                                                                                    (list#each (|>> [label_module])
                                                                                                               {.#Item tags_0}))
                                                                                         last (-- (list.size cohort))
-                                                                                        right? (n.= last)]
+                                                                                        right? (n.= last)
+                                                                                        lefts (is (-> Nat Nat)
+                                                                                                  (function (_ index)
+                                                                                                    (if (right? index)
+                                                                                                      (-- index)
+                                                                                                      index)))]
                                                                                     (|> {.#Item tags_0}
                                                                                         list.enumeration
                                                                                         (list#each (function (_ [index short])
                                                                                                      [short [true {.#Definition [.Tag
-                                                                                                                                 (|> [{.#Some [index (right? index) cohort]} type_0]
+                                                                                                                                 (|> [{.#Some [(lefts index) (right? index) cohort]} type_0]
                                                                                                                                      (is Label)
                                                                                                                                      (as .Tag))]}]]))))
                                                                                   (let [cohort (is (List Symbol)
                                                                                                    (list#each (|>> [label_module])
                                                                                                               {.#Item tags_1}))
                                                                                         last (-- (list.size cohort))
-                                                                                        right? (n.= last)]
+                                                                                        right? (n.= last)
+                                                                                        lefts (is (-> Nat Nat)
+                                                                                                  (function (_ index)
+                                                                                                    (if (right? index)
+                                                                                                      (-- index)
+                                                                                                      index)))]
                                                                                     (|> {.#Item tags_1}
                                                                                         list.enumeration
                                                                                         (list#each (function (_ [index short])
                                                                                                      [short [true {.#Definition [.Slot
-                                                                                                                                 (|> [{.#Some [index (right? index) cohort]} type_1]
+                                                                                                                                 (|> [{.#Some [(lefts index) (right? index) cohort]} type_1]
                                                                                                                                      (is Label)
                                                                                                                                      (as .Slot))]}]]))))))
                                           .#imports            (list)
@@ -888,72 +898,55 @@
                 .#extensions      []
                 .#eval            (as (-> Type Code (Meta Any)) [])
                 .#host            []])]]
-    (all _.and
-         (_.coverage [/.tag_lists]
-           (let [equivalence (list.equivalence
-                              (product.equivalence
-                               (list.equivalence symbol.equivalence)
-                               type.equivalence))]
-             (|> (/.tag_lists label_module)
-                 (/.result expected_lux)
-                 (try#each (of equivalence = (list [(list#each (|>> [label_module]) {.#Item tags_1})
-                                                    type_1])))
-                 (try.else false))))
-         (_.coverage [/.tags_of]
-           (|> (/.tags_of [label_module name_1])
-               (/.result expected_lux)
-               (try#each (of (maybe.equivalence (list.equivalence symbol.equivalence)) =
-                             {.#Some (list#each (|>> [label_module]) {.#Item tags_1})}))
-               (try.else false)))
-         ... (_.coverage [/.tag]
-         ...   (|> {.#Item tags_0}
-         ...       list.enumeration
-         ...       (list.every? (function (_ [expected_index label])
-         ...                      (|> [label_module label]
-         ...                          /.tag
-         ...                          (/.result expected_lux)
-         ...                          (!expect (^.multi {try.#Success [actual_index actual_tags actual_type]}
-         ...                                            (let [correct_index!
-         ...                                                  (n.= expected_index
-         ...                                                       actual_index)
-
-         ...                                                  correct_tags!
-         ...                                                  (of (list.equivalence symbol.equivalence) =
-         ...                                                      (list#each (|>> [label_module]) {.#Item tags_0})
-         ...                                                      actual_tags)
+    (`` (all _.and
+             (_.coverage [/.tag_lists]
+               (let [equivalence (list.equivalence
+                                  (product.equivalence
+                                   (list.equivalence symbol.equivalence)
+                                   type.equivalence))]
+                 (|> (/.tag_lists label_module)
+                     (/.result expected_lux)
+                     (try#each (of equivalence = (list [(list#each (|>> [label_module]) {.#Item tags_1})
+                                                        type_1])))
+                     (try.else false))))
+             (_.coverage [/.tags_of]
+               (|> (/.tags_of [label_module name_1])
+                   (/.result expected_lux)
+                   (try#each (of (maybe.equivalence (list.equivalence symbol.equivalence)) =
+                                 {.#Some (list#each (|>> [label_module]) {.#Item tags_1})}))
+                   (try.else false)))
+             (,, (with_template [<label> <cohort> <type>]
+                   [(_.coverage [<label>]
+                      (|> {.#Item <cohort>}
+                          list.enumeration
+                          (list.every? (function (_ [expected_index label])
+                                         (|> [label_module label]
+                                             <label>
+                                             (/.result expected_lux)
+                                             (!expect (^.multi {try.#Success [{.#Some [actual_lefts actual_right? actual_cohort]} actual_type]}
+                                                               (let [correct_index!
+                                                                     (n.= expected_index
+                                                                          (if actual_right?
+                                                                            (++ actual_lefts)
+                                                                            actual_lefts))
 
-         ...                                                  correct_type!
-         ...                                                  (type#= type_0
-         ...                                                          actual_type)]
-         ...                                              (and correct_index!
-         ...                                                   correct_tags!
-         ...                                                   correct_type!))))
-         ...                          )))))
-         ... (_.coverage [/.slot]
-         ...   (|> {.#Item tags_1}
-         ...       list.enumeration
-         ...       (list.every? (function (_ [expected_index label])
-         ...                      (|> [label_module label]
-         ...                          /.slot
-         ...                          (/.result expected_lux)
-         ...                          (!expect (^.multi {try.#Success [actual_index actual_tags actual_type]}
-         ...                                            (let [correct_index!
-         ...                                                  (n.= expected_index
-         ...                                                       actual_index)
+                                                                     correct_tags!
+                                                                     (of (list.equivalence symbol.equivalence) =
+                                                                         (list#each (|>> [label_module]) {.#Item <cohort>})
+                                                                         actual_cohort)
 
-         ...                                                  correct_tags!
-         ...                                                  (of (list.equivalence symbol.equivalence) =
-         ...                                                      (list#each (|>> [label_module]) {.#Item tags_1})
-         ...                                                      actual_tags)
+                                                                     correct_type!
+                                                                     (type#= <type>
+                                                                             actual_type)]
+                                                                 (and correct_index!
+                                                                      correct_tags!
+                                                                      correct_type!))))
+                                             )))))]
 
-         ...                                                  correct_type!
-         ...                                                  (type#= type_1
-         ...                                                          actual_type)]
-         ...                                              (and correct_index!
-         ...                                                   correct_tags!
-         ...                                                   correct_type!))))
-         ...                          )))))
-         )))
+                   [/.tag tags_0 type_0]
+                   [/.slot tags_1 type_1]
+                   ))
+             ))))
 
 (def injection
   (Injection Meta)
diff --git a/stdlib/source/test/lux/world/environment.lux b/stdlib/source/test/lux/world/environment.lux
index c02fbfbc3..5cff3b16d 100644
--- a/stdlib/source/test/lux/world/environment.lux
+++ b/stdlib/source/test/lux/world/environment.lux
@@ -40,7 +40,9 @@
     [exit random.int]
     (in (do [! async.monad]
           [environment (/.environment ! subject)]
-          (unit.coverage [/.Environment]
+          (unit.coverage [/.Environment
+
+                          /.available_variables /.variable /.home /.directory /.exit]
             (and (not (dictionary.empty? environment))
                  (list.every? (|>> text.empty? not)
                               (dictionary.keys environment))
-- 
cgit v1.2.3