Changes in src/ResolvExpr/Unify.cc [2908f08:0bd3faf]

File:

• src/ResolvExpr/Unify.cc (modified) (2 diffs)

src/ResolvExpr/Unify.cc

@@ -537 +537 @@
                         // assert( open.find( *typeInst ) == open.end() );
                         auto otherInst = dynamic_cast< const ast::TypeInstType * >( type2 );
-                        if ( otherInst && typeInst->name == otherInst->name ) {
+                        if (otherInst && typeInst->name == otherInst->name) 
                                 this->result = otherInst;
-                        }
+                        // return otherInst;
                 }
 
@@ -628 +628 @@
                         result = dynamic_cast< const ast::OneType * >( type2 );
                 }
+
+          private:
+                template< typename RefType > void handleRefType( RefType *inst, Type *other );
+                template< typename RefType > void handleGenericRefType( RefType *inst, Type *other );
         };