Changes in src/AST/Print.cpp [3b0bc16:0351e9f]

File:

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

src/AST/Print.cpp

@@ -333 +333 @@
                 print( node->funcSpec );
 
-
-
-                if ( node->type && node->isTypeFixed ) {
+                if ( node->type ) {
                         node->type->accept( *this );
                 } else {
-                        if (!node->type_params.empty()) {
-                                os << "forall" << endl;
-                                ++indent;
-                                printAll(node->type_params);
-                                os << indent;
-                                --indent;
-
-                                if (!node->assertions.empty()) {
-                                        os << "with assertions" << endl;
-                                        ++indent;
-                                        printAll(node->assertions);
-                                        os << indent;
-                                        --indent;
-                                }
-                        }
-
-                        os << "function" << endl;
-                        if ( ! node->params.empty() ) {
-                                os << indent << "... with parameters" << endl;
-                                ++indent;
-                                printAll( node->params );
-                                if ( node->type->isVarArgs ) {
-                                        os << indent << "and a variable number of other arguments" << endl;
-                                }
-                                --indent;
-                        } else if ( node->type->isVarArgs ) {
-                                os << indent+1 << "accepting unspecified arguments" << endl;
-                        }
-
-                        os << indent << "... returning";
-                        if ( node->returns.empty() ) {
-                                os << " nothing" << endl;
-                        } else {
-                                os << endl;
-                                ++indent;
-                                printAll( node->returns );
-                                --indent;
-                        }
+                        os << "untyped entity";
                 }
 
@@ -511 +472 @@
                 ++indent;
                 os << indent;
-                safe_print( node->then );
-                --indent;
-
-                if ( node->else_ != 0 ) {
+                safe_print( node->thenPart );
+                --indent;
+
+                if ( node->elsePart != 0 ) {
                         os << indent << "... else:" << endl;
                         ++indent;
                         os << indent;
-                        node->else_->accept( *this );
+                        node->elsePart->accept( *this );
                         --indent;
                 } // if
@@ -524 +485 @@
         }
 
-        virtual const ast::Stmt * visit( const ast::WhileDoStmt * node ) override final {
+        virtual const ast::Stmt * visit( const ast::WhileStmt * node ) override final {
                 if ( node->isDoWhile ) { os << "Do-"; }
                 os << "While on condition:" << endl;