Changeset c7f834e


Ignore:
Timestamp:
Jun 18, 2020, 4:56:20 PM (15 months ago)
Author:
Fangren Yu <f37yu@…>
Branches:
arm-eh, jacob/cs343-translation, master, new-ast, new-ast-unique-expr
Children:
1cf2a9b
Parents:
d2de1be9
Message:

fix destructed return value in TypeSubstitution?

Location:
src
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/AST/TypeSubstitution.hpp

    rd2de1be9 rc7f834e  
    4646        template< typename SynTreeClass >
    4747        struct ApplyResult {
    48                 const SynTreeClass * node;
     48                // const SynTreeClass * node;
     49                ast::ptr<SynTreeClass> node;
    4950                int count;
    5051        };
  • 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.