Changeset c6b4432 for src/ResolvExpr/Unify.h

Timestamp:

Nov 8, 2023, 2:01:11 PM (8 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

3e4bf0d, f5ec35a

Parents:

790d835

Message:

Remove BaseSyntaxNode? and clean-up.

File:

• src/ResolvExpr/Unify.h (modified) (3 diffs)

src/ResolvExpr/Unify.h

@@ -20 +20 @@
 #include "AST/Node.hpp"             // for ptr
 #include "AST/TypeEnvironment.hpp"  // for TypeEnvironment, AssertionSet, OpenVarSet
-#include "Common/utility.h"       // for deleteAll
-#include "SynTree/Declaration.h"  // for TypeDecl, TypeDecl::Data
-#include "TypeEnvironment.h"      // for AssertionSet, OpenVarSet
 #include "WidenMode.h"              // for WidenMode
-
-class Type;
-class TypeInstType;
-namespace SymTab {
-        class Indexer;
-}
 
 namespace ast {
@@ -37 +28 @@
 
 namespace ResolvExpr {
-
-bool unify( Type *type1, Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, OpenVarSet &openVars, const SymTab::Indexer &indexer );
-bool unify( Type *type1, Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, OpenVarSet &openVars, const SymTab::Indexer &indexer, Type *&commonType );
-bool unifyExact( Type *type1, Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, OpenVarSet &openVars, const SymTab::Indexer &indexer );
-bool unifyInexact( Type *type1, Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, WidenMode widen, const SymTab::Indexer &indexer, Type *&common );
-
-bool typesCompatible( const Type *, const Type *, const SymTab::Indexer & indexer, const TypeEnvironment & env );
-bool typesCompatibleIgnoreQualifiers( const Type *, const Type *, const SymTab::Indexer & indexer, const TypeEnvironment & env );
-
-inline bool typesCompatible( const Type * t1, const Type * t2, const SymTab::Indexer & indexer ) {
-        TypeEnvironment env;
-        return typesCompatible( t1, t2, indexer, env );
-}
-
-inline bool typesCompatibleIgnoreQualifiers( const Type * t1, const Type * t2, const SymTab::Indexer & indexer ) {
-        TypeEnvironment env;
-        return typesCompatibleIgnoreQualifiers( t1, t2, indexer, env );
-}
 
 bool unify(
@@ -85 +58 @@
         const ast::TypeEnvironment & env = {} );
 
-/// Creates the type represented by the list of returnVals in a FunctionType.
-/// The caller owns the return value.
-Type * extractResultType( FunctionType * functionType );
 /// Creates or extracts the type represented by returns in a `FunctionType`.
 ast::ptr<ast::Type> extractResultType( const ast::FunctionType * func );