Changeset 5d8dae7 for src

Timestamp:

Sep 22, 2022, 3:25:28 PM (2 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master

Children:

b859f59

Parents:

e01eb4a

Message:

Used Pass::read in Unify in one place.

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