Opened 6 years ago

Last modified 2 years ago

#104 new defect

Tuple assertion generate bad C code

Reported by: Thierry Delisle Owned by:
Priority: major Component: cfa-cc
Version: 1.0 Keywords: tuples
Cc:

Description (last modified by Thierry Delisle)

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

[ float, float ] modf_( float x );

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

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

Change History (1)

comment:1 Changed 2 years ago by Thierry Delisle

Description: modified (diff)

Updated otype syntax.

Note: See TracTickets for help on using tickets.