From ad1391ea1cdd33167339d25dbff2567f5a8d5c68 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 23 Dec 2022 20:58:58 -0400
Subject: Began work on C++ back-end.

---
 stdlib/source/test/aedifex/artifact.lux                        | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot.lux               | 6 +++---
 stdlib/source/test/aedifex/artifact/snapshot/build.lux         | 6 +++---
 stdlib/source/test/aedifex/artifact/snapshot/stamp.lux         | 6 +++---
 stdlib/source/test/aedifex/artifact/snapshot/time.lux          | 6 +++---
 stdlib/source/test/aedifex/artifact/snapshot/version.lux       | 6 +++---
 stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 6 +++---
 stdlib/source/test/aedifex/artifact/time.lux                   | 6 +++---
 stdlib/source/test/aedifex/artifact/time/date.lux              | 6 +++---
 stdlib/source/test/aedifex/artifact/versioning.lux             | 6 +++---
 stdlib/source/test/aedifex/cli.lux                             | 6 +++---
 stdlib/source/test/aedifex/dependency.lux                      | 5 +++--
 stdlib/source/test/aedifex/dependency/resolution.lux           | 6 +++---
 stdlib/source/test/aedifex/dependency/status.lux               | 6 +++---
 stdlib/source/test/aedifex/hash.lux                            | 8 ++++----
 stdlib/source/test/aedifex/metadata/artifact.lux               | 6 +++---
 stdlib/source/test/aedifex/metadata/snapshot.lux               | 6 +++---
 stdlib/source/test/aedifex/package.lux                         | 6 +++---
 stdlib/source/test/aedifex/profile.lux                         | 6 +++---
 stdlib/source/test/aedifex/project.lux                         | 6 +++---
 stdlib/source/test/aedifex/repository/identity.lux             | 6 +++---
 stdlib/source/test/aedifex/repository/origin.lux               | 6 +++---
 stdlib/source/test/aedifex/runtime.lux                         | 6 +++---
 23 files changed, 70 insertions(+), 68 deletions(-)

(limited to 'stdlib/source/test/aedifex')

diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index cada52d52..471786919 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -5,8 +5,9 @@
     [monad (.only do)]
     [hash (.only Hash)]
     [\\specification
-     ["$[0]" equivalence]
      ["$[0]" hash]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]]
    [data
@@ -45,7 +46,7 @@
               /.Artifact]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
                   (_.for [/.order]
                          (orderT.spec /.order ..random))
                   (_.for [/.hash]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 9094e815b..bdeed5389 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try (.use "[1]#[0]" functor)]]
    [data
@@ -34,7 +34,7 @@
       (_.for [/.Snapshot]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
                   
                   (do random.monad
                     [expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 9a5cbba1c..5a0bccfc4 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try (.use "[1]#[0]" functor)]]
    [data
@@ -28,7 +28,7 @@
       (_.for [/.Build]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
                   
                   (do random.monad
                     [expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index a5d3b0e1d..a24916a04 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try (.use "[1]#[0]" functor)]]
    [data
@@ -37,7 +37,7 @@
       (_.for [/.Stamp])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence ..random))
+                  (equivalenceT.spec /.equivalence ..random))
 
            (do random.monad
              [expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index af6f8bdb0..9a81b6b54 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try (.use "[1]#[0]" functor)]]
    [data
@@ -29,7 +29,7 @@
       (_.for [/.Time])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence ..random))
+                  (equivalenceT.spec /.equivalence ..random))
 
            (do random.monad
              [expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index ba8f44d04..5e28c80e7 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try (.use "[1]#[0]" functor)]]
    [data
@@ -37,7 +37,7 @@
       (_.for [/.Version])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence ..random))
+                  (equivalenceT.spec /.equivalence ..random))
 
            (do random.monad
              [expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index f116a0a78..74b2ff039 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try (.use "[1]#[0]" functor)]]
    [data
@@ -43,7 +43,7 @@
       (_.for [/.Value])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence ..random))
+                  (equivalenceT.spec /.equivalence ..random))
 
            (do random.monad
              [sample random
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 912aa30f1..5978f2691 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try (.use "[1]#[0]" functor)]]
    [data
@@ -38,7 +38,7 @@
       (_.for [/.Time])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence ..random))
+                  (equivalenceT.spec /.equivalence ..random))
 
            (do random.monad
              [expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index f6fc6c83a..67332e1ca 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try (.use "[1]#[0]" functor)]
     ["[0]" exception]]
@@ -46,7 +46,7 @@
          candidate random.date]
         (all _.and
              (_.for [/.equivalence]
-                    ($equivalence.spec /.equivalence ..random))
+                    (equivalenceT.spec /.equivalence ..random))
 
              (_.coverage [/.format /.parser]
                (|> expected
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index 6b2b504d2..62408f573 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try (.use "[1]#[0]" functor)]]
    [data
@@ -36,7 +36,7 @@
       (_.for [/.Versioning])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence ..random))
+                  (equivalenceT.spec /.equivalence ..random))
            
            (do random.monad
              [expected ..random]
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index b72f3464e..90550b004 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" pipe]
     ["[0]" try]]
@@ -109,7 +109,7 @@
       (_.for [/.Compilation /.Command]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..command))
+                         (equivalenceT.spec /.equivalence ..command))
 
                   (_.for [/.command]
                          (all _.and
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 3a71c655a..6235282ee 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -4,8 +4,9 @@
    [abstract
     [monad (.only do)]
     [\\specification
-     ["$[0]" equivalence]
      ["$[0]" hash]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]]
    [math
@@ -29,7 +30,7 @@
       (_.for [/.Dependency]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
                   (_.for [/.order]
                          (orderT.spec /.order ..random))
                   (_.for [/.hash]
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 9e67edc86..574f70891 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -3,8 +3,8 @@
   [lux (.except all)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try]
     ["[0]" exception]
@@ -436,7 +436,7 @@
       (_.for [/.Resolution])
       (.all _.and
             (_.for [/.equivalence]
-                   ($equivalence.spec /.equivalence ..random))
+                   (equivalenceT.spec /.equivalence ..random))
 
             (_.coverage [/.empty]
               (dictionary.empty? /.empty))
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index 074394b99..ea13e41c4 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [data
     ["[0]" binary
      ["[1]T" \\test]]]
@@ -35,7 +35,7 @@
       (_.for [/.Status]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
 
                   (do random.monad
                     [payload (binaryT.random 1)]
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 55cd89bba..fcdf07984 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" codec
      ["[1]T" \\test]]]
    [control
@@ -42,8 +42,8 @@
       (`` (all _.and
                (_.for [/.equivalence]
                       (all _.and
-                           ($equivalence.spec /.equivalence (..random /.sha1))
-                           ($equivalence.spec /.equivalence (..random /.md5))
+                           (equivalenceT.spec /.equivalence (..random /.sha1))
+                           (equivalenceT.spec /.equivalence (..random /.md5))
                            ))
                (_.for [/.data]
                       (all _.and
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index af0474e2f..7d640282a 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" maybe]
     ["[0]" try (.use "[1]#[0]" functor)]
@@ -84,7 +84,7 @@
                                                   (maybe.else ""))]]]
         (all _.and
              (_.for [/.equivalence]
-                    ($equivalence.spec /.equivalence ..random))
+                    (equivalenceT.spec /.equivalence ..random))
              
              (do random.monad
                [expected ..random]
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index d8c1bbf92..63d8832b9 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" maybe]
     ["[0]" try (.use "[1]#[0]" functor)]
@@ -98,7 +98,7 @@
          .let [artifact (the /.#artifact expected)]]
         (all _.and
              (_.for [/.equivalence]
-                    ($equivalence.spec /.equivalence ..random))
+                    (equivalenceT.spec /.equivalence ..random))
              
              (_.coverage [/.format /.parser]
                (|> expected
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 8f335b753..9db4ecd29 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try]]
    [data
@@ -62,7 +62,7 @@
         [[profile package] ..random]
         (all _.and
              (_.for [/.equivalence]
-                    ($equivalence.spec /.equivalence (of ! each product.right ..random)))
+                    (equivalenceT.spec /.equivalence (of ! each product.right ..random)))
              
              (_.coverage [/.local?]
                (/.local? (has /.#origin {//origin.#Local "~/yolo"} package)))
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 387a9c2aa..80733a9ee 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -4,8 +4,8 @@
    [abstract
     [monad (.only do)]
     [hash (.only Hash)]
-    [\\specification
-     ["$[0]" equivalence]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" monoid
      ["[1]T" \\test]]]
    [control
@@ -161,7 +161,7 @@
               /.Source /.Target /.Name /.Profile]
              (`` (all _.and
                       (_.for [/.equivalence]
-                             ($equivalence.spec /.equivalence ..random))
+                             (equivalenceT.spec /.equivalence ..random))
                       (_.for [/.monoid]
                              (monoidT.spec /.equivalence /.monoid ..random))
 
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index f7040ca66..051c470e9 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" monoid
      ["[1]T" \\test]]]
    [control
@@ -44,7 +44,7 @@
       (_.for [/.Project /.project]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
                   (_.for [/.monoid]
                          (monoidT.spec /.equivalence /.monoid ..random))
 
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 8fd54bad8..d82082834 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -2,8 +2,8 @@
  [library
   [lux (.except)
    [abstract
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [math
     ["[0]" random (.only Random)]]
    [test
@@ -24,5 +24,5 @@
       (_.for [/.User /.Password /.Identity]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
                   ))))
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index e07040106..238e0aad2 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -2,8 +2,8 @@
  [library
   [lux (.except)
    [abstract
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [math
     ["[0]" random (.only Random)]]
    [test
@@ -24,5 +24,5 @@
       (_.for [/.Origin]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
                   ))))
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index f48f0eb03..1546092e6 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" maybe (.use "[1]#[0]" functor)]]
    [data
@@ -40,7 +40,7 @@
          runtime ..random]
         (`` (all _.and
                  (_.for [/.equivalence]
-                        ($equivalence.spec /.equivalence ..random))
+                        (equivalenceT.spec /.equivalence ..random))
                  
                  (,, (with_template [<command>]
                        [(_.coverage [/.default_java /.default_js /.default_python /.default_lua /.default_ruby]
-- 
cgit v1.2.3