Changes in src/GenPoly/GenPoly.cc [c97b448:e9b5043]

File:

• src/GenPoly/GenPoly.cc (modified) (4 diffs)

src/GenPoly/GenPoly.cc

@@ -275 +275 @@
         }
 
-const ast::BaseInstType *isDynRet( const ast::FunctionType * func ) {
-        if ( func->returns.empty() ) return nullptr;
-
-        TypeVarMap forallTypes = { ast::TypeData() };
-        makeTypeVarMap( func, forallTypes );
-        return isDynType( func->returns.front(), forallTypes );
-}
-
         bool needsAdapter( FunctionType *adaptee, const TyVarMap &tyVars ) {
 //              if ( ! adaptee->get_returnVals().empty() && isPolyType( adaptee->get_returnVals().front()->get_type(), tyVars ) ) {
@@ -327 +319 @@
                 return 0;
         }
-
-const ast::Type * isPolyPtr(
-                const ast::Type * type, const TypeVarMap & typeVars,
-                const ast::TypeSubstitution * typeSubs ) {
-        type = replaceTypeInst( type, typeSubs );
-
-        if ( auto * ptr = dynamic_cast<ast::PointerType const *>( type ) ) {
-                return isPolyType( ptr->base, typeVars, typeSubs );
-        }
-        return nullptr;
-}
 
         Type * hasPolyBase( Type *type, int *levels, const TypeSubstitution *env ) {
@@ -815 +796 @@
         }
 
-void addToTypeVarMap( const ast::TypeDecl * decl, TypeVarMap & typeVars ) {
-        typeVars.insert( ast::TypeEnvKey( decl, 0, 0 ), ast::TypeData( decl ) );
-}
-
 void addToTypeVarMap( const ast::TypeInstType * type, TypeVarMap & typeVars ) {
-        typeVars.insert( ast::TypeEnvKey( *type ), ast::TypeData( type->base ) );
+        typeVars.insert( *type, ast::TypeData( type->base ) );
 }
 
@@ -845 +822 @@
 }
 
-void makeTypeVarMap( const ast::FunctionDecl * decl, TypeVarMap & typeVars ) {
-        for ( auto & typeDecl : decl->type_params ) {
-                addToTypeVarMap( typeDecl, typeVars );
-        }
-}
-
         void printTyVarMap( std::ostream &os, const TyVarMap &tyVarMap ) {
                 for ( TyVarMap::const_iterator i = tyVarMap.begin(); i != tyVarMap.end(); ++i ) {