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

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 );
         };