Changeset ef9988b for src/AST/Print.cpp

Timestamp:

Aug 18, 2020, 4:26:19 PM (4 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

13d33a75

Parents:

4fe6224

Message:

fix lost typeinst in resolved assertions

File:

• src/AST/Print.cpp (modified) (1 diff)

src/AST/Print.cpp

@@ -237 +237 @@
         void postprint( const ast::Expr * node ) {
                 print( node->inferred );
+
+                if ( node->result ) {
+                        os << endl << indent << "... with resolved type:" << endl;
+                        ++indent;
+                        os << indent;
+                        node->result->accept( *this );
+                        --indent;
+                }
 
                 if ( node->env ) {