Ignore:
Timestamp:
Jun 18, 2020, 4:56:20 PM (2 years ago)
Author:
Fangren Yu <f37yu@…>
Branches:
arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
1cf2a9b
Parents:
d2de1be9
Message:

fix destructed return value in TypeSubstitution?

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/Unify.cc

    rd2de1be9 rc7f834e  
    170170                ast::ptr< ast::Type > t2_(newSecond);
    171171
     172                ast::ptr< ast::Type > subFirst = env.apply(newFirst).node;
     173                ast::ptr< ast::Type > subSecond = env.apply(newSecond).node;
     174
    172175                return unifyExact(
    173                         env.apply( newFirst  ).node,
    174                         env.apply( newSecond ).node,
     176                        subFirst,
     177                        subSecond,
    175178                        newEnv, need, have, open, noWiden(), symtab );
    176179        }
Note: See TracChangeset for help on using the changeset viewer.