X::TypeCheck::MacroUnquote

lib/X/TypeCheck/MacroUnquote.pod

@@ -0,0 +1,27 @@
+=begin pod
+
+=TITLE class X::TypeCheck::MacroUnquote
+
+    class X::TypeCheck::MacroUnquote is X::TypeCheck does X::Comp { }
+
+Compile time error thrown when a L<Macro> or an unquote/hole in a C<quasi>
+quote does not return an L<AST>.
+
+For example
+
+    macro a { 'foo' }
+    say a
+
+dies with
+
+    ===SORRY!===
+    Type check failed in macro application; expected AST but got Str
+
+To fix, instead write
+
+    macro a {
+        quasi { 'foo' }
+    }
+    say a;              # foo
+
+=end pod