Changes in src/AST/Print.cpp [451d958:0351e9f]

File:

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

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";
                 }