Changes in src/AST/Print.cpp [3e5dd913:361bf01]

File:

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

src/AST/Print.cpp

@@ -155 +155 @@
         }
 
-        void print( const ast::FunctionType::AssertionList & assts ) {
-                if (assts.empty()) return;
-                os << "with assertions" << endl;
-                ++indent;
-                printAll(assts);
-                os << indent;
-                --indent;
-        }
-
         void print( const std::vector<ptr<Attribute>> & attrs ) {
                 if ( attrs.empty() ) return;
@@ -215 +206 @@
         void preprint( const ast::NamedTypeDecl * node ) {
                 if ( ! node->name.empty() ) {
-                        os << node->name << ": ";
+                        if( deterministic_output && isUnboundType(node->name) ) os << "[unbound]:";
+                        else os << node->name << ": ";
                 }
 
@@ -269 +261 @@
         void preprint( const ast::FunctionType * node ) {
                 print( node->forall );
-                print( node->assertions );
                 print( node->qualifiers );
         }
@@ -1384 +1375 @@
         virtual const ast::Type * visit( const ast::TypeInstType * node ) override final {
                 preprint( node );
-                const auto & _name = deterministic_output && isUnboundType(node) ? "[unbound]" : node->typeString();
+                const auto & _name = deterministic_output && isUnboundType(node) ? "[unbound]" : node->name;
                 os << "instance of type " << _name
                    << " (" << (node->kind == ast::TypeDecl::Ftype ? "" : "not ") << "function type)";
@@ -1511 +1502 @@
                 os << indent << "Types:" << endl;
                 for ( const auto& i : *node ) {
-                        os << indent+1 << i.first.typeString() << " -> ";
+                        os << indent+1 << i.first << " -> ";
                         indent += 2;
                         safe_print( i.second );
+                        indent -= 2;
+                        os << endl;
+                }
+                os << indent << "Non-types:" << endl;
+                for ( auto i = node->beginVar(); i != node->endVar(); ++i ) {
+                        os << indent+1 << i->first << " -> ";
+                        indent += 2;
+                        safe_print( i->second );
                         indent -= 2;
                         os << endl;