Changeset b5629d8 for src/ResolvExpr/TypeEnvironment.cc

Timestamp:

Dec 3, 2020, 1:49:01 PM (5 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:

62e456f, ab0257b9

Parents:

f0d67e5 (diff), fa11053 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

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