Changeset 251ce80 for src/GenPoly

Timestamp:

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

Author:

Fangren Yu <f37yu@…>

Branches:

ast-experimental, master

Children:

24d6572, ded6c2a6

Parents:

1803d4d

Message:

remove reference to symbol table in unify

Location:

src/GenPoly

Files:

• InstantiateGenericNew.cpp (modified) (1 diff)
• LvalueNew.cpp (modified) (4 diffs)

src/GenPoly/InstantiateGenericNew.cpp ¶

@@ -362 +362 @@
                         ResolvExpr::typesCompatible(
                                 memberExpr->result,
-                                memberExpr->member->get_type(), ast::SymbolTable() ) ) {
+                                memberExpr->member->get_type() ) ) {
                 return memberExpr;
         }

src/GenPoly/LvalueNew.cpp ¶

@@ -359 +359 @@
                                 !ResolvExpr::typesCompatible(
                                         srcType,
-                                        strict_dynamic_cast<ast::ReferenceType const *>( dstType )->base,
-                                        ast::SymbolTable() ) ) {
+                                        strict_dynamic_cast<ast::ReferenceType const *>( dstType )->base ) ) {
                         // Must keep cast if cast-to type is different from the actual type.
                         return ast::mutate_field( expr, &ast::CastExpr::arg, ret );
@@ -377 +376 @@
                 if ( !ResolvExpr::typesCompatibleIgnoreQualifiers(
                                 dstType->stripReferences(),
-                                srcType->stripReferences(),
-                                ast::SymbolTable() ) ) {
+                                srcType->stripReferences() ) ) {
                         return ast::mutate_field( expr, &ast::CastExpr::arg, ret );
                 }
@@ -393 +391 @@
                                 ResolvExpr::typesCompatible(
                                         expr->result,
-                                        expr->arg->result, ast::SymbolTable() ) ) {
+                                        expr->arg->result ) ) {
                         PRINT(
                                 std::cerr << "types are compatible, removing cast: " << expr << '\n';
@@ -590 +588 @@
                 ast::OpenVarSet openVars;
                 ResolvExpr::unify( ret->arg2->result, ret->arg3->result, newEnv,
-                        needAssertions, haveAssertions, openVars,
-                        ast::SymbolTable(), common );
+                        needAssertions, haveAssertions, openVars, common );
                 ret->result = common ? common : ast::deepCopy( ret->arg2->result );
                 return ret;