Ignore:
Timestamp:
Jun 26, 2018, 5:16:19 PM (4 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, with_gc
Children:
63238a4
Parents:
270fdcf
Message:

Fix TypeEnvironment? bind algorithms

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/Resolver.cc

    r270fdcf rd286cf68  
    582582
    583583                                                        // Make sure we don't widen any existing bindings
    584                                                         for ( auto & i : resultEnv ) {
    585                                                                 i.allowWidening = false;
    586                                                         }
    587 
     584                                                        resultEnv.forbidWidening();
     585                                                       
    588586                                                        // Find any unbound type variables
    589587                                                        resultEnv.extractOpenVars( openVars );
Note: See TracChangeset for help on using the changeset viewer.