Changeset fc12f05 for src/ResolvExpr/CommonType.hpp

Timestamp:

Nov 13, 2023, 3:43:43 AM (23 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

25f2798

Parents:

0030b508 (diff), 2174191 (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/CommonType.hpp (modified) (1 diff)

src/ResolvExpr/CommonType.hpp

@@ -18 +18 @@
 #include "AST/Fwd.hpp"
 #include "AST/TypeEnvironment.hpp"  // for AssertionSet, OpenVarSet
-#include "TypeEnvironment.h"        // for AssertionSet, OpenVarSet
 #include "WidenMode.h"              // for WidenMode
-
-class Type;
-namespace SymTab {
-        class Indexer;
-}
 
 namespace ResolvExpr {
 
-Type * commonType(
-        Type * type1, Type * type2, bool widenFirst, bool widenSecond,
-        const SymTab::Indexer & indexer, TypeEnvironment & env,
-        const OpenVarSet & openVars );
 ast::ptr< ast::Type > commonType(
         const ast::ptr< ast::Type > & type1, const ast::ptr< ast::Type > & type2,