Changeset cd6a6ff for src/ResolvExpr

Timestamp:

Dec 3, 2020, 10:44:40 AM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

1db306a

Parents:

b37515b

Message:

Improved coverage of deterministic_output to be much finer grain.

File:

• src/ResolvExpr/TypeEnvironment.cc (modified) (1 diff)

src/ResolvExpr/TypeEnvironment.cc

@@ -107 +107 @@
 
         void EqvClass::print( std::ostream &os, Indenter indent ) const {
-                if( !deterministic_output ) {
-                        os << "( ";
-                        std::copy( vars.begin(), vars.end(), std::ostream_iterator< std::string >( os, " " ) );
-                        os << ")";
-                }
+                os << "(";
+                bool first = true;
+                for(const auto & var : vars) {
+                        if(first) first = false;
+                        else os << " ";
+                        if( deterministic_output && isUnboundType(var) ) os << "[unbound]";
+                        else os << var;
+                }
+                os << ")";
                 if ( type ) {
                         os << " -> ";