Changes in src/AST/Print.cpp [79c907b:a8ed717]

File:

• src/AST/Print.cpp (modified) (2 diffs)

src/AST/Print.cpp

@@ -128 +128 @@
 
         void print( const ast::Expr::InferUnion & inferred, unsigned level = 0 ) {
-                if (inferred.data.resnSlots && !inferred.data.resnSlots->empty()) {
-                        os << indent << "with " << inferred.data.resnSlots->size()
+                switch ( inferred.mode ) {
+                case ast::Expr::InferUnion::Empty: return;
+                case ast::Expr::InferUnion::Slots: {
+                        os << indent << "with " << inferred.data.resnSlots.size()
                            << " pending inference slots" << endl;
-                }
-                if (inferred.data.inferParams && !inferred.data.inferParams->empty()) {
+                        return;
+                }
+                case ast::Expr::InferUnion::Params: {
                         os << indent << "with inferred parameters " << level << ":" << endl;
                         ++indent;
-                        for ( const auto & i : *inferred.data.inferParams ) {
+                        for ( const auto & i : inferred.data.inferParams ) {
                                 os << indent;
-                                short_print( i.second.declptr );
+                                short_print( Decl::fromId( i.second.decl ) );
                                 os << endl;
                                 print( i.second.expr->inferred, level+1 );
                         }
                         --indent;
+                        return;
+                }
                 }
         }
@@ -227 +232 @@
                 }
 
-                if ( ! node->assertions.empty() ) {
+                if ( ! short_mode && ! node->assertions.empty() ) {
                         os << endl << indent << "... with assertions" << endl;
                         ++indent;