Changes in src/ResolvExpr/Unify.cc [fc1a3e2:af746cc]

File:

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

src/ResolvExpr/Unify.cc

@@ -307 +307 @@
                                 // type unification calls expression unification (mutual recursion)
                                 if ( ! unify(array->dimension, array2->dimension,
-                                        tenv, need, have, open, widen) ) return;
+                                    tenv, need, have, open, widen) ) return;
                         }
 
@@ -455 +455 @@
                         // check that the other type is compatible and named the same
                         auto otherInst = dynamic_cast< const XInstType * >( other );
-                        if (otherInst && inst->name == otherInst->name)
+                        if (otherInst && inst->name == otherInst->name) 
                                 this->result = otherInst;
                         return otherInst;
@@ -542 +542 @@
                         // Lazy approach for now
                         if ( auto otherPos = dynamic_cast< const ast::EnumAttrType *>(type2) ) {
-                                if ( enumAttr->match(otherPos) ) {
-                                        result = otherPos;
-                                }
-                        }
+                            if ( enumAttr->match(otherPos) ) {
+                                    result = otherPos;
+                            }
+            }  
                 }