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/program/aedifex/parser.lux | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/program/aedifex/parser.lux')

diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index 1799db09e..867b3b81f 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -20,8 +20,9 @@
   ["." // #_
    ["/" profile]
    ["#." project (#+ Project)]
-   ["#." artifact (#+ Artifact)]
-   ["#." dependency]])
+   ["#." dependency]
+   ["#." artifact (#+ Artifact)
+    ["#/." type]]])
 
 (def: (as-input input)
   (-> (Maybe Code) (List Code))
@@ -139,7 +140,7 @@
   ..url)
 
 (def: type
-  (Parser //dependency.Type)
+  (Parser //artifact/type.Type)
   <c>.text)
 
 (def: dependency
@@ -147,7 +148,7 @@
   (<c>.tuple
    ($_ <>.and
        ..artifact'
-       (<>.default //dependency.lux-library ..type)
+       (<>.default //artifact/type.lux-library ..type)
        )))
 
 (def: source
-- 
cgit v1.2.3