AST - Support ! as a real type

1 files changed, 8 insertions, 3 deletions

diff --git a/src/ast/types.hpp b/src/ast/types.hpp
index 8fbd6c37..1710fceb 100644
--- a/src/ast/types.hpp
+++ b/src/ast/types.hpp
@@ -61,6 +61,7 @@ struct Type_Function:
 TAGGED_UNION(TypeData, None,

     (None, struct { }),

     (Any,  struct { }),

+    (Bang, struct { }),

     (Unit, struct { }),

     (Macro, struct {

         ::AST::MacroInvocation inv;

@@ -126,9 +127,13 @@ public:
         return *this;

     }

     

-    TypeRef(Span sp=Span()):

+    TypeRef(Span sp = Span()):

         m_span( mv$(sp) ),

-        m_data(TypeData::make_Any({}))

+        m_data( TypeData::make_Any({}) )

+    {}

+    TypeRef(Span sp, TypeData data):

+        m_span( mv$(sp) ),

+        m_data( mv$(data) )

     {}

     

     struct TagInvalid {};

@@ -136,7 +141,7 @@ public:
         m_span(mv$(sp)),

         m_data(TypeData::make_None({}))

     {}

-    

+

     struct TagMacro {};

     TypeRef(TagMacro, ::AST::MacroInvocation inv):

         m_span(inv.span()),