Introduced the "#Macro" type and got rid of the "#lux.macro?" annotation type and its "magical" compiler behavior.

1 files changed, 7 insertions, 7 deletions

diff --git a/stdlib/source/lux/tool/compiler/phase/extension/analysis/common.lux b/stdlib/source/lux/tool/compiler/phase/extension/analysis/common.lux
index dd645886f..c315f8d9d 100644
--- a/stdlib/source/lux/tool/compiler/phase/extension/analysis/common.lux
+++ b/stdlib/source/lux/tool/compiler/phase/extension/analysis/common.lux
@@ -115,16 +115,15 @@
   [lux::coerce Any]
   )
 
-(def: lux::check::type
-  Handler
+(def: (caster input output)
+  (-> Type Type Handler)
   (function (_ extension-name analyse args)
     (case args
       (^ (list valueC))
       (do ////.monad
-        [_ (typeA.infer Type)
-         valueA (typeA.with-type Type
-                  (analyse valueC))]
-        (wrap valueA))
+        [_ (typeA.infer output)]
+        (typeA.with-type input
+          (analyse valueC)))
       
       _
       (/////analysis.throw ///.incorrect-arity [extension-name 1 (list.size args)]))))
@@ -136,7 +135,8 @@
       (///bundle.install "try" lux::try)
       (///bundle.install "check" (lux::check eval))
       (///bundle.install "coerce" (lux::coerce eval))
-      (///bundle.install "check type" lux::check::type)
+      (///bundle.install "macro" (..caster .Macro' .Macro))
+      (///bundle.install "check type" (..caster .Type .Type))
       (///bundle.install "in-module" lux::in-module)))
 
 (def: bundle::io