Changes in src/ResolvExpr/Resolver.cc [6f326b1:b9f383f]

File:

• src/ResolvExpr/Resolver.cc (modified) (2 diffs)

src/ResolvExpr/Resolver.cc

@@ -544 +544 @@
                                                         OpenVarSet openVars;
                                                         AssertionSet resultNeed, resultHave;
-                                                        TypeEnvironment resultEnv( func.env );
-                                                        makeUnifiableVars( function, openVars, resultNeed );
-                                                        // add all type variables as open variables now so that those not used in the parameter
-                                                        // list are still considered open.
-                                                        resultEnv.add( function->forall );
+                                                        TypeEnvironment resultEnv;
 
                                                         // Load type variables from arguemnts into one shared space
@@ -587 +583 @@
                                                                         ss << "' to '";
                                                                         arg.expr->get_result()->print( ss );
-                                                                        ss << "' with env '";
-                                                                        resultEnv.print(ss);
                                                                         ss << "'\n";
                                                                         SemanticError( function, ss.str() );