Spans on MacroInvocation, re-enable span in ERROR reporting

1 files changed, 4 insertions, 1 deletions

diff --git a/src/types.hpp b/src/types.hpp
index 24c0d9ea..5b19d036 100644
--- a/src/types.hpp
+++ b/src/types.hpp
@@ -103,6 +103,7 @@ TAGGED_UNION(TypeData, None,
 class TypeRef:

     public Serialisable

 {

+    Span    m_span;

 public:

     TypeData    m_data;

     

@@ -215,7 +216,9 @@ public:
         m_data(TypeData::make_TraitObject({ mv$(hrls), ::std::move(traits) }))

     {}

     

-    

+

+    const Span& span() const { return m_span; }

+ 

     /// Dereference the type (return the result of *type_instance)

     bool deref(bool is_implicit);

     /// Merge with another type (combines known aspects, conflitcs cause an exception)