src/GenPoly/GenPoly.cc
bool includesPolyParams( std::list< Expression* >& params, const TyVarMap &tyVars, const TypeSubstitution *env ) {
			for ( std::list< Expression* >::iterator param = params.begin(); param != params.end(); ++param ) {
				TypeExpr *paramType = dynamic_cast< TypeExpr* >( *param );
				assertf(paramType, "Aggregate parameters should be type expressions");
				if ( includesPolyType( paramType->get_type(), tyVars, env ) ) return true;
			}
			return false;
		}
/// Checks a parameter list for inclusion of polymorphic parameters from tyVars; will substitute according to env if present
Checks a parameter list for inclusion of polymorphic parameters from tyVars; will substitute according to env if present
Checks a parameter list for inclusion of polymorphic parameters from tyVars ; will substitute according to env if present
bool includesPolyParams( std::list< Expression* >& params, const TyVarMap &tyVars, const TypeSubstitution *env ) {
			for ( std::list< Expression* >::iterator param = params.begin(); param != params.end(); ++param ) {
				TypeExpr *paramType = dynamic_cast< TypeExpr* >( *param );
				assertf(paramType, "Aggregate parameters should be type expressions");
				if ( includesPolyType( paramType->get_type(), tyVars, env ) ) return true;
			}
			return false;
		}
bool includesPolyParams ( std :: list < Expression * > & params , const TyVarMap & tyVars , const TypeSubstitution * env ) { for ( std :: list < Expression * > :: iterator param = params . begin ( ) ; param != params . end ( ) ; ++ param ) { TypeExpr * paramType = dynamic_cast < TypeExpr * > ( * param ) ; assertf ( paramType , " " ) ; if ( includesPolyType ( paramType -> get_type ( ) , tyVars , env ) ) return true ; } return false ; }
Checks a parameter list for inclusion of polymorphic parameters from tyVars; will substitute according to env if present
Checks a parameter list for inclusion of polymorphic parameters from tyVars ; will substitute according to env if present