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 ++++
 1 file changed, 4 insertions(+)

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

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
             ))))
-- 
cgit v1.2.3