Changes in src/ResolvExpr/Unify.cpp [822332e:d3aa55e9]

File:

• src/ResolvExpr/Unify.cpp (modified) (5 diffs)

src/ResolvExpr/Unify.cpp

@@ -276 +276 @@
         void postvisit( const ast::VoidType * ) {
                 result = dynamic_cast< const ast::VoidType * >( type2 );
-                        // || tryToUnifyWithEnumValue(vt, type2, tenv, need, have, open, noWiden());
-                ;
         }
 
@@ -284 +282 @@
                         result = basic->kind == basic2->kind;
                 }
-                // result = result || tryToUnifyWithEnumValue(basic, type2, tenv, need, have, open, noWiden());
         }
 
@@ -293 +290 @@
                                 noWiden());
                 }
-                // result = result || tryToUnifyWithEnumValue(pointer, type2, tenv, need, have, open, noWiden());
         }
 
@@ -312 +308 @@
                 result = unifyExact(
                         array->base, array2->base, tenv, need, have, open, noWiden());
-                        // || tryToUnifyWithEnumValue(array, type2, tenv, need, have, open, noWiden());
         }
 
@@ -607 +602 @@
 
                 result = unifyList( types, types2, tenv, need, have, open );
-                        // || tryToUnifyWithEnumValue(tuple, type2, tenv, need, have, open, noWiden());
         }
 
         void postvisit( const ast::VarArgsType * ) {
                 result = dynamic_cast< const ast::VarArgsType * >( type2 );
-                        // || tryToUnifyWithEnumValue(vat, type2, tenv, need, have, open, noWiden());
         }
 
         void postvisit( const ast::ZeroType * ) {
                 result = dynamic_cast< const ast::ZeroType * >( type2 );
-                        // || tryToUnifyWithEnumValue(zt, type2, tenv, need, have, open, noWiden());
         }
 
         void postvisit( const ast::OneType * ) {
                 result = dynamic_cast< const ast::OneType * >( type2 );
-                        // || tryToUnifyWithEnumValue(ot, type2, tenv, need, have, open, noWiden());
         }
 };