Changes in src/GenPoly/GenPoly.cc [540de412:bfae637]

File:

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

src/GenPoly/GenPoly.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// GenPoly.cc --
+// GenPoly.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Mon May 02 14:53:33 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Dec 15 16:11:18 2015
 // Update Count     : 13
 //
@@ -81 +81 @@
                 return 0;
         }
-
+        
         Type *isPolyType( Type *type, const TyVarMap &tyVars, const TypeSubstitution *env ) {
                 if ( TypeInstType *typeInst = dynamic_cast< TypeInstType * >( type ) ) {
@@ -112 +112 @@
                 return 0;
         }
-
+        
         Type *isPolyPtr( Type *type, const TyVarMap &tyVars, const TypeSubstitution *env ) {
                 if ( PointerType *ptr = dynamic_cast< PointerType *>( type ) ) {
@@ -146 +146 @@
                 return isPolyType( type, env );
         }
-
+        
         Type * hasPolyBase( Type *type, const TyVarMap &tyVars, int *levels, const TypeSubstitution *env ) {
                 int dummy;
@@ -192 +192 @@
                                 if ( ! fn || fn->get_name() != std::string("*?") ) return 0;
                                 expr = *untypedExpr->begin_args();
-                        } else if ( CommaExpr *commaExpr = dynamic_cast< CommaExpr* >( expr ) ) {
-                                // copy constructors insert comma exprs, look at second argument which contains the variable
-                                expr = commaExpr->get_arg2();
-                                continue;
                         } else break;
 
@@ -213 +209 @@
                 }
         }
-
+        
         void printTyVarMap( std::ostream &os, const TyVarMap &tyVarMap ) {
                 for ( TyVarMap::const_iterator i = tyVarMap.begin(); i != tyVarMap.end(); ++i ) {