for example the following function was incorrectly analysed as strict in b:

f a b | a==0 = [];
f a [] = [];

entry for constructor with the same name as the record

with state LazyRedirection (field with type a or (a ..))

for fields (in other records) with this record type

to top level, to suppress gcc 4.0 errors.

have different sizes in clean and c

an array of integers in this way fails if the size of integers is not the same
in clean and c

generating functions with too many arguments

generating functions with too many arguments

remove #defines for UNBOXED_CLOSURES and U_RECORD_SELECTORS