Tuple assertion generate bad C code

[Thierry Delisle]

CFA-CPP produces bad C code from this cfa code:

[ float, float ] modf_( float x );

forall(otype T | { [T, T] modf_(T); })
void modf(T);

int main() {
    modf(7.0f);
}