Changes in / [1cf2a9b:e068c8a]

Location:

src

Files:

• AST/TypeSubstitution.hpp (modified) (1 diff)
• ResolvExpr/Unify.cc (modified) (1 diff)

src/AST/TypeSubstitution.hpp

@@ -46 +46 @@
         template< typename SynTreeClass >
         struct ApplyResult {
-                // const SynTreeClass * node;
-                ast::ptr<SynTreeClass> node;
+                const SynTreeClass * node;
                 int count;
         };

src/ResolvExpr/Unify.cc

@@ -170 +170 @@
                 ast::ptr< ast::Type > t2_(newSecond);
 
-                ast::ptr< ast::Type > subFirst = env.apply(newFirst).node;
-                ast::ptr< ast::Type > subSecond = env.apply(newSecond).node;
-
                 return unifyExact(
-                        subFirst,
-                        subSecond,
+                        env.apply( newFirst  ).node,
+                        env.apply( newSecond ).node,
                         newEnv, need, have, open, noWiden(), symtab );
         }