Changeset 251ce80 for src/ResolvExpr/CommonType.hpp

Timestamp:

Jun 1, 2023, 6:29:47 PM (14 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/CommonType.hpp (modified) (1 diff)

src/ResolvExpr/CommonType.hpp

@@ -36 +36 @@
         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);
 
 }