- Added REPL.

2 files changed, 14 insertions, 3 deletions

diff --git a/stdlib/source/lux/macro.lux b/stdlib/source/lux/macro.lux
index fc392d49c..33ac0b89b 100644
--- a/stdlib/source/lux/macro.lux
+++ b/stdlib/source/lux/macro.lux
@@ -539,16 +539,16 @@
 
 (def: #export (tags-of type-name)
   {#;doc "All the tags associated with a type definition."}
-  (-> Ident (Meta (List Ident)))
+  (-> Ident (Meta (Maybe (List Ident))))
   (do Monad<Meta>
     [#let [[module name] type-name]
      module (find-module module)]
     (case (get name (get@ #;types module))
       (#;Some [tags _])
-      (wrap tags)
+      (wrap (#;Some tags))
 
       _
-      (wrap (list)))))
+      (wrap #;None))))
 
 (def: #export cursor
   {#;doc "The cursor of the current expression being analyzed."}
diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux
index 7ed7fb2ee..bbed25f98 100644
--- a/stdlib/source/lux/macro/poly.lux
+++ b/stdlib/source/lux/macro/poly.lux
@@ -285,6 +285,17 @@
       _
       (p;fail ($_ text/compose "Not a bound type: " (type;to-text headT))))))
 
+(def: #export named
+  (Poly [Ident Type])
+  (do p;Monad<Parser>
+    [inputT any]
+    (case inputT
+      (#;Named name anonymousT)
+      (wrap [name anonymousT])
+
+      _
+      (p;fail ($_ text/compose "Not a named type: " (type;to-text inputT))))))
+
 (def: #export (recursive poly)
   (All [a] (-> (Poly a) (Poly [Code a])))
   (do p;Monad<Parser>