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

File:

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

src/AST/Print.cpp

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