Changeset d76c588 for src/ResolvExpr/Unify.h
- Timestamp:
- May 30, 2019, 4:10:24 PM (5 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 8d70648
- Parents:
- eba615c
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/Unify.h
reba615c rd76c588 18 18 #include <list> // for list 19 19 20 #include "AST/TypeEnvironment.hpp" // for TypeEnvironment, AssertionSet, OpenVarSet 20 21 #include "Common/utility.h" // for deleteAll 21 22 #include "SynTree/Declaration.h" // for TypeDecl, TypeDecl::Data 22 23 #include "TypeEnvironment.h" // for AssertionSet, OpenVarSet 23 #include "WidenMode.h" // for WidenMode24 #include "WidenMode.h" // for WidenMode 24 25 25 26 class Type; 26 27 class TypeInstType; 27 28 namespace SymTab { 28 class Indexer; 29 } // namespace SymTab 29 class Indexer; 30 } 31 32 namespace ast { 33 class SymbolTable; 34 class Type; 35 } 30 36 31 37 namespace ResolvExpr { … … 62 68 } 63 69 70 bool unifyInexact( 71 const ast::Type * type1, const ast::Type * type2, ast::TypeEnvironment & env, 72 ast::AssertionSet & need, ast::AssertionSet & have, const ast::OpenVarSet & openVars, 73 WidenMode widenMode, const ast::SymbolTable & symtab, const ast::Type *& common ); 74 64 75 } // namespace ResolvExpr 65 76
Note: See TracChangeset
for help on using the changeset viewer.