Changes in src/AST/Print.cpp [37cdd97:ef9988b]

File:

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

src/AST/Print.cpp

@@ -29 +29 @@
 
 template <typename C, typename... T>
-constexpr auto make_array(T&&... values) ->
-        array<C,sizeof...(T)>
+constexpr array<C,sizeof...(T)> make_array(T&&... values)
 {
         return array<C,sizeof...(T)>{
@@ -129 +128 @@
 
         void print( const ast::Expr::InferUnion & inferred, unsigned level = 0 ) {
-                switch ( inferred.mode ) {
-                case ast::Expr::InferUnion::Empty: return;
-                case ast::Expr::InferUnion::Slots: {
-                        os << indent << "with " << inferred.data.resnSlots.size()
+                if (inferred.data.resnSlots && !inferred.data.resnSlots->empty()) {
+                        os << indent << "with " << inferred.data.resnSlots->size()
                            << " pending inference slots" << endl;
-                        return;
-                }
-                case ast::Expr::InferUnion::Params: {
+                }
+                if (inferred.data.inferParams && !inferred.data.inferParams->empty()) {
                         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( Decl::fromId( i.second.decl ) );
+                                short_print( i.second.declptr );
                                 os << endl;
                                 print( i.second.expr->inferred, level+1 );
                         }
                         --indent;
-                        return;
-                }
                 }
         }
@@ -233 +227 @@
                 }
 
-                if ( ! short_mode && ! node->assertions.empty() ) {
+                if ( ! node->assertions.empty() ) {
                         os << endl << indent << "... with assertions" << endl;
                         ++indent;
@@ -243 +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 ) {
@@ -842 +844 @@
         virtual const ast::Expr * visit( const ast::CastExpr * node ) override final {
                 ++indent;
-                os << (node->isGenerated ? "Generated" : "Explicit") << " cast of:" << endl << indent;
+                os << (node->isGenerated ? "Generated" : "Explicit") << " Cast of:" << endl << indent;
                 safe_print( node->arg );
                 os << endl << indent-1 << "... to:";