Changes in src/GenPoly/LvalueNew.cpp [7fffb1b:251ce80]

File:

• src/GenPoly/LvalueNew.cpp (modified) (5 diffs)

src/GenPoly/LvalueNew.cpp

@@ -25 +25 @@
 #include "AST/Pass.hpp"
 #include "Common/SemanticError.h"      // for SemanticWarning
+#include "Common/ToString.hpp"         // for toCString
 #include "Common/UniqueName.h"         // for UniqueName
 #include "GenPoly/GenPoly.h"           // for genFunctionType
@@ -358 +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 );
@@ -376 +376 @@
                 if ( !ResolvExpr::typesCompatibleIgnoreQualifiers(
                                 dstType->stripReferences(),
-                                srcType->stripReferences(),
-                                ast::SymbolTable() ) ) {
+                                srcType->stripReferences() ) ) {
                         return ast::mutate_field( expr, &ast::CastExpr::arg, ret );
                 }
@@ -392 +391 @@
                                 ResolvExpr::typesCompatible(
                                         expr->result,
-                                        expr->arg->result, ast::SymbolTable() ) ) {
+                                        expr->arg->result ) ) {
                         PRINT(
                                 std::cerr << "types are compatible, removing cast: " << expr << '\n';
@@ -589 +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;