Changes in / [e068c8a:1cf2a9b]

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;
+                // const SynTreeClass * node;
+                ast::ptr<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(
-                        env.apply( newFirst  ).node,
-                        env.apply( newSecond ).node,
+                        subFirst,
+                        subSecond,
                         newEnv, need, have, open, noWiden(), symtab );
         }