Ignore:
Timestamp:
Oct 25, 2017, 5:28:34 PM (4 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
598f50e
Parents:
4573e3c
Message:

Carry forward environment from function to function call

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/AlternativeFinder.cc

    r4573e3c rb226721  
    680680                OpenVarSet openVars;
    681681                AssertionSet resultNeed, resultHave;
    682                 TypeEnvironment resultEnv;
     682                TypeEnvironment resultEnv( func.env );
    683683                makeUnifiableVars( funcType, openVars, resultNeed );
    684684                resultEnv.add( funcType->get_forall() ); // add all type variables as open variables now so that those not used in the parameter list are still considered open
Note: See TracChangeset for help on using the changeset viewer.