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

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

uniqueness variable in an inequality

generating functions with too many arguments

generating functions with too many arguments

move function indices in IclModule to separate record

'checkError ("no generic instances of "..' in getSymbolType is called

(see example below)
by expanding the type synonym if a type variable is unified with
a type synonym that contains that variable.

:: Parser b a :== (YieldParser b a) -> (ID b) -> b
:: YieldParser b a :== a -> (ID b) -> b
:: ID b :== b

returnP :: a -> Parser b a
returnP x = \yp -> yp x

failP :: Parser b a
failP = \yp fp -> fp

'cannot unify types' on separate lines