Changes in src/GenPoly/GenPoly.cc [c97b448:93c10de]

File:

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

src/GenPoly/GenPoly.cc

@@ -24 +24 @@
 #include <vector>                       // for vector
 
-#include "AST/Expr.hpp"
 #include "AST/Type.hpp"
-#include "AST/TypeSubstitution.hpp"
 #include "GenPoly/ErasableScopedMap.h"  // for ErasableScopedMap<>::const_it...
 #include "ResolvExpr/typeops.h"         // for flatten
@@ -172 +170 @@
 
                 if ( TypeInstType *typeInst = dynamic_cast< TypeInstType * >( type ) ) {
-                        if ( tyVars.contains( typeInst->get_name() ) ) {
+                        if ( tyVars.find( typeInst->get_name() ) != tyVars.end() ) {
                                 return type;
                         }
@@ -189 +187 @@
 
                 if ( auto typeInst = dynamic_cast< const ast::TypeInstType * >( type ) ) {
-                        if ( tyVars.contains( typeInst->typeString() ) ) return type;
+                        return tyVars.find(typeInst->typeString()) != tyVars.end() ? type : nullptr;
                 } else if ( auto arrayType = dynamic_cast< const ast::ArrayType * >( type ) ) {
                         return isPolyType( arrayType->base, env );
@@ -205 +203 @@
 
         if ( auto inst = dynamic_cast< const ast::TypeInstType * >( type ) ) {
-                if ( typeVars.contains( *inst ) ) return type;
+                if ( typeVars.find( *inst ) != typeVars.end() ) return type;
         } else if ( auto array = dynamic_cast< const ast::ArrayType * >( type ) ) {
                 return isPolyType( array->base, subst );
@@ -274 +272 @@
                 return (ReferenceToType*)isDynType( function->get_returnVals().front()->get_type(), forallTypes );
         }
-
-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 ) {
@@ -327 +317 @@
                 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 ) {
@@ -412 +391 @@
 
                 if ( TypeInstType *typeInstType = dynamic_cast< TypeInstType * >( type ) ) {
-                        if ( tyVars.contains( typeInstType->get_name() ) ) {
+                        if ( tyVars.find( typeInstType->get_name() ) != tyVars.end() ) {
                                 return true;
                         }
@@ -511 +490 @@
                 }
 
-                /// Flattens a list of types.
-                // There is another flattenList in Unify.
                 void flattenList( vector<ast::ptr<ast::Type>> const & src,
                                 vector<ast::ptr<ast::Type>> & out ) {
@@ -815 +792 @@
         }
 
-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 +818 @@
 }
 
-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 ) {