GitLab

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

for fields (in other records) with this record type

context of a class definition (e.g. class C a | TC a)

variables occuring before different type variables by a '.'.

to top level, to suppress gcc 4.0 errors.

inferred types, list all types and list exported types didn't work on solaris,
this should be fixed now

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