Changeset e563edf for src/ResolvExpr/typeops.h

Timestamp:

Jan 17, 2023, 11:57:46 AM (21 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master

Children:

7b5694d

Parents:

9845cb6

Message:

Header Clean-up: Clearing out typeops, moving things to Unify because that header already exist.

File:

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

src/ResolvExpr/typeops.h

@@ -107 +107 @@
                 const ast::Type * src, const ast::Type * dst, const ast::SymbolTable & symtab,
                 const ast::TypeEnvironment & env );
-
-        // in Unify.cc
-        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 typesCompatible(
-                const ast::Type *, const ast::Type *, const ast::SymbolTable & symtab = {},
-                const ast::TypeEnvironment & env = {} );
-
-        bool typesCompatibleIgnoreQualifiers(
-                const ast::Type *, const ast::Type *, const ast::SymbolTable &,
-                const ast::TypeEnvironment & env = {} );
 
         /// creates the type represented by the list of returnVals in a FunctionType. The caller owns the return value.