- Timestamp:
- Jun 18, 2020, 4:56:20 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 1cf2a9b
- Parents:
- d2de1be9
- Location:
- src
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
src/AST/TypeSubstitution.hpp
rd2de1be9 rc7f834e 46 46 template< typename SynTreeClass > 47 47 struct ApplyResult { 48 const SynTreeClass * node; 48 // const SynTreeClass * node; 49 ast::ptr<SynTreeClass> node; 49 50 int count; 50 51 }; -
src/ResolvExpr/Unify.cc
rd2de1be9 rc7f834e 170 170 ast::ptr< ast::Type > t2_(newSecond); 171 171 172 ast::ptr< ast::Type > subFirst = env.apply(newFirst).node; 173 ast::ptr< ast::Type > subSecond = env.apply(newSecond).node; 174 172 175 return unifyExact( 173 env.apply( newFirst ).node,174 env.apply( newSecond ).node,176 subFirst, 177 subSecond, 175 178 newEnv, need, have, open, noWiden(), symtab ); 176 179 }
Note: See TracChangeset
for help on using the changeset viewer.