From 00d5ccbc043960037f644d4ff09b6a46fd0093d0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 12 Oct 2020 20:22:31 -0400
Subject: Type-checking macros via the Macro' type from the standard library.

---
 stdlib/source/test/aedifex/artifact.lux      |  4 ++++
 stdlib/source/test/aedifex/artifact/type.lux | 28 ++++++++++++++++++++++++++++
 2 files changed, 32 insertions(+)
 create mode 100644 stdlib/source/test/aedifex/artifact/type.lux

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

diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 1ba27d0b6..72715fdef 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -9,6 +9,8 @@
       ["$." equivalence]]}]
    [math
     ["." random (#+ Random)]]]
+  ["." / #_
+   ["#." type]]
   {#program
    ["." /]})
 
@@ -27,4 +29,6 @@
         ($_ _.and
             (_.with-cover [/.equivalence]
               ($equivalence.spec /.equivalence ..random))
+
+            /type.test
             ))))
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
new file mode 100644
index 000000000..fd815f19e
--- /dev/null
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -0,0 +1,28 @@
+(.module:
+  [lux #*
+   ["_" test (#+ Test)]
+   [abstract
+    [monad (#+ do)]]
+   [data
+    ["." text]
+    [number
+     ["n" nat]]
+    [collection
+     ["." set]
+     ["." list]]]
+   [math
+    ["." random (#+ Random)]]]
+  {#program
+   ["." /]})
+
+(def: #export test
+  Test
+  (<| (_.covering /._)
+      (_.with-cover [/.Type]
+        ($_ _.and
+            (_.cover [/.lux-library /.jvm-library /.pom]
+                     (let [options (list /.lux-library /.jvm-library /.pom)
+                           uniques (set.from-list text.hash options)]
+                       (n.= (list.size options)
+                            (set.size uniques))))
+            ))))
-- 
cgit v1.2.3