an unknown type

the second argument cannot be used anymore, because x is now Top

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.

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