Changeset 251ce80 for src/AST/TypeEnvironment.cpp

Timestamp:

Jun 1, 2023, 6:29:47 PM (16 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/AST/TypeEnvironment.cpp (modified) (10 diffs)

src/AST/TypeEnvironment.cpp

@@ -178 +178 @@
 
 bool TypeEnvironment::combine(
-                const TypeEnvironment & o, OpenVarSet & open, const SymbolTable & symtab ) {
+                const TypeEnvironment & o, OpenVarSet & open ) {
         // short-circuit easy cases
         if ( o.empty() ) return true;
@@ -201 +201 @@
                         EqvClass & r = *rt;
                         // merge bindings
-                        if ( ! mergeBound( r, c, open, symtab ) ) return false;
+                        if ( ! mergeBound( r, c, open ) ) return false;
                         // merge previous unbound variables into this class, checking occurs if needed
                         if ( r.bound ) for ( const auto & u : c.vars ) {
@@ -216 +216 @@
                                 } else if ( st != rt ) {
                                         // bound, but not to the same class
-                                        if ( ! mergeClasses( rt, st, open, symtab ) ) return false;
+                                        if ( ! mergeClasses( rt, st, open ) ) return false;
                                 }       // ignore bound into the same class
                         }
@@ -280 +280 @@
 bool TypeEnvironment::bindVar(
                 const TypeInstType * typeInst, const Type * bindTo, const TypeData & data,
-                AssertionSet & need, AssertionSet & have, const OpenVarSet & open, WidenMode widen,
-                const SymbolTable & symtab
+                AssertionSet & need, AssertionSet & have, const OpenVarSet & open, WidenMode widen
 ) {
         // remove references from bound type, so that type variables can only bind to value types
@@ -300 +299 @@
                         if ( unifyInexact(
                                         newType, target, *this, need, have, open,
-                                        widen & WidenMode{ it->allowWidening, true }, symtab, common ) ) {
+                                        widen & WidenMode{ it->allowWidening, true }, common ) ) {
                                 if ( common ) {
                                         it->bound = std::move(common);
@@ -321 +320 @@
                 const TypeInstType * var1, const TypeInstType * var2, TypeData && data,
                 AssertionSet & need, AssertionSet & have, const OpenVarSet & open,
-                WidenMode widen, const SymbolTable & symtab
+                WidenMode widen
 ) {
         auto c1 = internal_lookup( *var1 );
@@ -358 +357 @@
 
                 if ( unifyInexact(
-                                newType1, newType2, *this, need, have, open, newWidenMode, symtab, common ) ) {
+                                newType1, newType2, *this, need, have, open, newWidenMode, common ) ) {
                         c1->vars.insert( c2->vars.begin(), c2->vars.end() );
                         c1->allowWidening = widen1 && widen2;
@@ -409 +408 @@
 
 bool TypeEnvironment::mergeBound(
-                EqvClass & to, const EqvClass & from, OpenVarSet & open, const SymbolTable & symtab ) {
+                EqvClass & to, const EqvClass & from, OpenVarSet & open ) {
         if ( from.bound ) {
                 if ( to.bound ) {
@@ -419 +418 @@
 
                         if ( unifyInexact(
-                                        toType, fromType, *this, need, have, open, widen, symtab, common ) ) {
+                                        toType, fromType, *this, need, have, open, widen, common ) ) {
                                 // unifies, set common type if necessary
                                 if ( common ) {
@@ -437 +436 @@
 
 bool TypeEnvironment::mergeClasses(
-        ClassList::iterator to, ClassList::iterator from, OpenVarSet & open, const SymbolTable & symtab
+        ClassList::iterator to, ClassList::iterator from, OpenVarSet & open
 ) {
         EqvClass & r = *to, & s = *from;
 
         // ensure bounds match
-        if ( ! mergeBound( r, s, open, symtab ) ) return false;
+        if ( ! mergeBound( r, s, open ) ) return false;
 
         // check safely bindable