Changes in src/ResolvExpr/TypeEnvironment.h [a585396:98a249fb]

File:

• src/ResolvExpr/TypeEnvironment.h (modified) (4 diffs)

src/ResolvExpr/TypeEnvironment.h

@@ -68 +68 @@
                 EqvClass &operator=( const EqvClass &other );
                 ~EqvClass();
-                void print( std::ostream &os, int indent = 0 ) const;
+                void print( std::ostream &os, Indenter indent = {} ) const;
         };
 
@@ -80 +80 @@
                 void makeSubstitution( TypeSubstitution &result ) const;
                 bool isEmpty() const { return env.empty(); }
-                void print( std::ostream &os, int indent = 0 ) const;
+                void print( std::ostream &os, Indenter indent = {} ) const;
                 void combine( const TypeEnvironment &second, Type *(*combineFunc)( Type*, Type* ) );
                 void simpleCombine( const TypeEnvironment &second );
@@ -86 +86 @@
                 TypeEnvironment *clone() const { return new TypeEnvironment( *this ); }
 
-                /// Iteratively adds the environment of a new actual (with allowWidening = false), 
+                /// Iteratively adds the environment of a new actual (with allowWidening = false),
                 /// and extracts open variables.
                 void addActual( const TypeEnvironment& actualEnv, OpenVarSet& openVars );
@@ -114 +114 @@
                 return sub.applyFree( type );
         }
+
+        std::ostream & operator<<( std::ostream & out, const TypeEnvironment & env );
 } // namespace ResolvExpr