Changeset df6cc9d for src/ResolvExpr/Unify.cc

Timestamp:

Oct 19, 2022, 4:43:26 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master

Children:

1a45263

Parents:

9cd5bd2 (diff), 135143ba (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into pthread-emulation

File:

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

src/ResolvExpr/Unify.cc

@@ -1036 +1036 @@
                 /// Creates a tuple type based on a list of Type
 
-
                 static bool unifyList(
                         const std::vector< ast::ptr< ast::Type > > & list1,
@@ -1174 +1173 @@
                         return env.bindVar( var2, type1, entry2->second, need, have, open, widen, symtab );
                 } else {
-                        ast::Pass<Unify_new> comparator{ type2, env, need, have, open, widen, symtab };
-                        type1->accept( comparator );
-                        return comparator.core.result;
+                        return ast::Pass<Unify_new>::read(
+                                type1, type2, env, need, have, open, widen, symtab );
                 }
         }