Changes in src/GenPoly/GenPoly.h [ffad73a:bdf1954]

File:

• src/GenPoly/GenPoly.h (modified) (1 diff)

src/GenPoly/GenPoly.h

@@ -20 +20 @@
 #include <string>
 #include <iostream>
-
 #include "SynTree/Declaration.h"
-#include "SynTree/TypeSubstitution.h"
 
 namespace GenPoly {
         typedef std::map< std::string, TypeDecl::Kind > TyVarMap;
 
-        /// A function needs an adapter if it returns a polymorphic value or if any of its
-        /// parameters have polymorphic type
         bool needsAdapter( FunctionType *adaptee, const TyVarMap &tyVarr );
-
-        /// true iff function has polymorphic return type
         bool isPolyRet( FunctionType *function, std::string &name, const TyVarMap &otherTyVars );
         bool isPolyRet( FunctionType *function, std::string &name );
         bool isPolyRet( FunctionType *function, const TyVarMap &otherTyVars );
+//      bool isPolyFun( FunctionType *fun, const TyVarMap &tyVars );
+        bool isPolyVal( Type *type, const TyVarMap &tyVars );
 
-        /// returns polymorphic type if is polymorphic type, NULL otherwise; will look up substitution in env if provided
-        Type *isPolyType( Type *type, const TyVarMap &tyVars, const TypeSubstitution *env = 0 );
-
-        /// returns polymorphic type if is pointer to polymorphic type, NULL otherwise; will look up substitution in env if provided
-        Type *isPolyPtr( Type *type, const TyVarMap &tyVars, const TypeSubstitution *env = 0 );
-
-        /// Prints type variable map
+  // true if type variable or any number of pointers to type variable 
+  bool isPolyObj( Type *type, const TyVarMap &tyVars );
         void printTyVarMap( std::ostream &os, const TyVarMap &tyVarMap );
-
-        /// Gets the name of the sizeof parameter for the type
-        std::string sizeofName( Type *ty );
-
-        /// Gets the name of the alignof parameter for the type
-        std::string alignofName( Type *ty );
 } // namespace GenPoly