Changeset 8a930c03 for src/ResolvExpr/Unify.h

Timestamp:

Jun 12, 2023, 12:05:58 PM (3 years ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

fec8bd1

Parents:

2b78949 (diff), 38e266ca (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/ResolvExpr/Unify.h (modified) (1 diff)

src/ResolvExpr/Unify.h

@@ -59 +59 @@
         const ast::ptr<ast::Type> & type1, const ast::ptr<ast::Type> & type2,
         ast::TypeEnvironment & env, ast::AssertionSet & need, ast::AssertionSet & have,
-        ast::OpenVarSet & open, const ast::SymbolTable & symtab );
+        ast::OpenVarSet & open );
 
 bool unify(
         const ast::ptr<ast::Type> & type1, const ast::ptr<ast::Type> & type2,
         ast::TypeEnvironment & env, ast::AssertionSet & need, ast::AssertionSet & have,
-        ast::OpenVarSet & open, const ast::SymbolTable & symtab, ast::ptr<ast::Type> & common );
+        ast::OpenVarSet & open, ast::ptr<ast::Type> & common );
 
 bool unifyExact(
         const ast::Type * type1, const ast::Type * type2, ast::TypeEnvironment & env,
         ast::AssertionSet & need, ast::AssertionSet & have, const ast::OpenVarSet & open,
-        WidenMode widen, const ast::SymbolTable & symtab );
+        WidenMode widen );
 
 bool unifyInexact(
         const ast::ptr<ast::Type> & type1, const ast::ptr<ast::Type> & type2,
         ast::TypeEnvironment & env, ast::AssertionSet & need, ast::AssertionSet & have,
-        const ast::OpenVarSet & open, WidenMode widen, const ast::SymbolTable & symtab,
+        const ast::OpenVarSet & open, WidenMode widen, 
         ast::ptr<ast::Type> & common );
 
 bool typesCompatible(
-        const ast::Type *, const ast::Type *, const ast::SymbolTable & symtab = {},
+        const ast::Type *, const ast::Type *, 
         const ast::TypeEnvironment & env = {} );
 
 bool typesCompatibleIgnoreQualifiers(
-        const ast::Type *, const ast::Type *, const ast::SymbolTable & symtab = {},
+        const ast::Type *, const ast::Type *,
         const ast::TypeEnvironment & env = {} );