Changeset 251ce80 for src/ResolvExpr/Resolver.cc

Timestamp:

Jun 1, 2023, 6:29:47 PM (13 months ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ast-experimental, master

Children:

24d6572, ded6c2a6

Parents:

1803d4d

Message:

remove reference to symbol table in unify

File:

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

src/ResolvExpr/Resolver.cc

@@ -1108 +1108 @@
                 void removeExtraneousCast( ast::ptr<ast::Expr> & expr, const ast::SymbolTable & symtab ) {
                         if ( const ast::CastExpr * castExpr = expr.as< ast::CastExpr >() ) {
-                                if ( typesCompatible( castExpr->arg->result, castExpr->result, symtab ) ) {
+                                if ( typesCompatible( castExpr->arg->result, castExpr->result ) ) {
                                         // cast is to the same type as its argument, remove it
                                         swap_and_save_env( expr, castExpr->arg );
@@ -1834 +1834 @@
                                                                 if (
                                                                         ! unify(
-                                                                                arg->expr->result, *param, resultEnv, need, have, open,
-                                                                                symtab )
+                                                                                arg->expr->result, *param, resultEnv, need, have, open )
                                                                 ) {
                                                                         // Type doesn't match