From 9ae7272d50b64dc9c8651e7a684abc007d4f2caf Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 8 Sep 2021 17:52:13 -0400
Subject: Post annotations clean-up.

---
 stdlib/source/test/lux/macro/syntax.lux            |  2 -
 .../source/test/lux/macro/syntax/annotations.lux   | 53 ----------------------
 stdlib/source/test/lux/macro/syntax/definition.lux |  6 +--
 3 files changed, 2 insertions(+), 59 deletions(-)
 delete mode 100644 stdlib/source/test/lux/macro/syntax/annotations.lux

(limited to 'stdlib/source/test')

diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux
index 236a6106f..5ba0701b9 100644
--- a/stdlib/source/test/lux/macro/syntax.lux
+++ b/stdlib/source/test/lux/macro/syntax.lux
@@ -14,7 +14,6 @@
   [\\library
    ["[0]" /]]
   ["[0]" / "_"
-   ["[1][0]" annotations]
    ["[1][0]" check]
    ["[1][0]" declaration]
    ["[1][0]" definition]
@@ -40,7 +39,6 @@
                      (n.= ($_ n.+ x y z)
                           (+/3 x y z)))) 
 
-          /annotations.test
           /check.test
           /declaration.test
           /definition.test
diff --git a/stdlib/source/test/lux/macro/syntax/annotations.lux b/stdlib/source/test/lux/macro/syntax/annotations.lux
deleted file mode 100644
index 0fe02da13..000000000
--- a/stdlib/source/test/lux/macro/syntax/annotations.lux
+++ /dev/null
@@ -1,53 +0,0 @@
-(.module:
-  [library
-   [lux "*"
-    ["_" test {"+" [Test]}]
-    [abstract
-     [monad {"+" [do]}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     ["[0]" try]
-     [parser
-      ["<[0]>" code]]]
-    [data
-     [collection
-      ["[0]" list]]]
-    [math
-     ["[0]" random {"+" [Random]}]
-     [number
-      ["n" nat]]]]]
-  [\\library
-   ["[0]" /]]
-  ["$[0]" /// "_"
-   ["[1][0]" code]])
-
-(def: .public random
-  (Random /.Annotations)
-  (let [word (random.ascii/alpha 10)
-        tag (random.and word word)]
-    (do [! random.monad]
-      [size (\ ! each (n.% 10) random.nat)]
-      (random.list size (random.and tag $///code.random)))))
-
-(def: .public test
-  Test
-  (<| (_.covering /._)
-      (_.for [/.Annotations])
-      ($_ _.and
-          (_.for [/.equivalence]
-                 ($equivalence.spec /.equivalence ..random))
-
-          (_.cover [/.empty]
-                   (list.empty? /.empty))
-          (do random.monad
-            [expected ..random]
-            (_.cover [/.format /.parser]
-                     (case (|> (list (/.format expected))
-                               (<code>.result /.parser))
-                       (#try.Failure _)
-                       false
-                       
-                       (#try.Success actual)
-                       (\ /.equivalence = expected actual))))
-          )))
diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux
index d3a480dc2..cb5867a2a 100644
--- a/stdlib/source/test/lux/macro/syntax/definition.lux
+++ b/stdlib/source/test/lux/macro/syntax/definition.lux
@@ -11,17 +11,16 @@
      ["[0]" exception]
      ["<>" parser
       ["<[0]>" code]]]
-    [math
-     ["[0]" random {"+" [Random]}]]
     [macro
      ["[0]" code ("[1]\[0]" equivalence)]]
+    [math
+     ["[0]" random {"+" [Random]}]]
     [meta
      ["[0]" location]]]]
   [\\library
    ["[0]" /]]
   ["$[0]"// "_"
    ["[1][0]" check]
-   ["[1][0]" annotations]
    ["[1]/" // "_"
     ["[1][0]" code]]])
 
@@ -31,7 +30,6 @@
       (random.ascii/alpha 5)
       (random.or $//check.random
                  $///code.random)
-      $//annotations.random
       random.bit
       ))
 
-- 
cgit v1.2.3