Changes in src/AST/Print.cpp [cd6a6ff:98e8b3b]

File:

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

src/AST/Print.cpp

@@ -205 +205 @@
 
         void preprint( const ast::NamedTypeDecl * node ) {
-                if ( ! node->name.empty() ) {
-                        if( deterministic_output && isUnboundType(node->name) ) os << "[unbound]:";
-                        else os << node->name << ": ";
-                }
+                if ( ! node->name.empty() ) os << node->name << ": ";
 
                 if ( ! short_mode && node->linkage != Linkage::Cforall ) {
@@ -243 +240 @@
 
                 if ( node->result ) {
-                        os << endl << indent << "... with resolved type:" << endl;
-                        ++indent;
-                        os << indent;
-                        node->result->accept( *this );
-                        --indent;
+                        if (!deterministic_output) {
+                                os << endl << indent << "... with resolved type:" << endl;
+                                ++indent;
+                                os << indent;
+                                node->result->accept( *this );
+                                --indent;
+                        }
                 }
 
@@ -1383 +1382 @@
         virtual const ast::Type * visit( const ast::TypeInstType * node ) override final {
                 preprint( node );
-                const auto & _name = deterministic_output && isUnboundType(node) ? "[unbound]" : node->name;
-                os << "instance of type " << _name
+                os << "instance of type " << node->name
                    << " (" << (node->kind == ast::TypeDecl::Ftype ? "" : "not ") << "function type)";
                 print( node->params );