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

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());
+                ;
         }
 
@@ -282 +284 @@
                         result = basic->kind == basic2->kind;
                 }
+                // result = result || tryToUnifyWithEnumValue(basic, type2, tenv, need, have, open, noWiden());
         }
 
@@ -290 +293 @@
                                 noWiden());
                 }
+                // result = result || tryToUnifyWithEnumValue(pointer, type2, tenv, need, have, open, noWiden());
         }
 
@@ -308 +312 @@
                 result = unifyExact(
                         array->base, array2->base, tenv, need, have, open, noWiden());
+                        // || tryToUnifyWithEnumValue(array, type2, tenv, need, have, open, noWiden());
         }
 
@@ -602 +607 @@
 
                 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());
         }
 };