Changes in src/ResolvExpr/Resolver.cc [2a08c25:d286cf68]
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/Resolver.cc
r2a08c25 rd286cf68 582 582 583 583 // Make sure we don't widen any existing bindings 584 for ( auto & i : resultEnv ) { 585 i.allowWidening = false; 586 } 587 584 resultEnv.forbidWidening(); 585 588 586 // Find any unbound type variables 589 587 resultEnv.extractOpenVars( openVars );
Note: See TracChangeset
for help on using the changeset viewer.