Changes in src/ResolvExpr/Unify.cpp [b6f2e7ab:d3aa55e9]
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/Unify.cpp
rb6f2e7ab rd3aa55e9 234 234 if ( !e2so ) return; 235 235 236 assert((e1->type != nullptr) ^ (e1->expr != nullptr)); 237 assert((e2so->type != nullptr) ^ (e2so->expr != nullptr)); 238 if ( !(e1->type && e2so->type) ) return; 239 236 240 // expression unification calls type unification (mutual recursion) 237 241 result = unifyExact( e1->type, e2so->type, tenv, need, have, open, widen );
Note: See TracChangeset
for help on using the changeset viewer.