Changes in / [be9288a:bd098ea]

File:

• src/GenPoly/Specialize.cc (modified) (2 diffs)

src/GenPoly/Specialize.cc

@@ -101 +101 @@
         }
 
+        // walk into tuple type and find the number of components
+        size_t singleParameterSize( Type * type ) {
+                if ( TupleType * tt = dynamic_cast< TupleType * >( type ) ) {
+                        size_t sz = 0;
+                        for ( Type * t : *tt ) {
+                                sz += singleParameterSize( t );
+                        }
+                        return sz;
+                } else {
+                        return 1;
+                }
+        }
+
+        // find the total number of components in a parameter list
+        size_t functionParameterSize( FunctionType * ftype ) {
+                size_t sz = 0;
+                for ( DeclarationWithType * p : ftype->get_parameters() ) {
+                        sz += singleParameterSize( p->get_type() );
+                }
+                return sz;
+        }
+
         bool needsTupleSpecialization( Type *formalType, Type *actualType ) {
                 // Needs tuple specialization if the structure of the formal type and actual type do not match.
@@ -111 +133 @@
                         FunctionType * aftype = getFunctionType( actualType );
                         assertf( aftype, "formal type is a function type, but actual type is not." );
+                        // Can't tuple specialize if parameter sizes deeply-differ.
+                        if ( functionParameterSize( fftype ) != functionParameterSize( aftype ) ) return false;
+                        // tuple-parameter sizes are the same, but actual parameter sizes differ - must tuple specialize
                         if ( fftype->get_parameters().size() != aftype->get_parameters().size() ) return true;
+                        // total parameter size can be the same, while individual parameters can have different structure
                         for ( auto params : group_iterate( fftype->get_parameters(), aftype->get_parameters() ) ) {
                                 DeclarationWithType * formal = std::get<0>(params);