Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/Unify.cc

    r1dcd52a3 r0873d22e  
    324324                } else if ( isopen1 ) {
    325325                        result = bindVar( var1, type2, entry1->second, env, needAssertions, haveAssertions, openVars, widenMode, indexer );
    326                 } else if ( isopen2 ) {
     326                } else if ( isopen2 ) { // TODO: swap widenMode values in call, since type positions are flipped?
    327327                        result = bindVar( var2, type1, entry2->second, env, needAssertions, haveAssertions, openVars, widenMode, indexer );
    328328                } else {
Note: See TracChangeset for help on using the changeset viewer.