GitLab

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

remove #defines for UNBOXED_CLOSURES and U_RECORD_SELECTORS

:: EP a = C (a Int Int);

Start :: EP (->);
Start = Start;

"demanded attribute cannot be offered by shared object" error
message more accurate,
store position in CaseAlt (added field calt_position)

for:

:: *R1 = { r2 :: *R2 };
:: *R2 = { a1::*{#Int}, a2::*{#Int}};
f :: *R1 -> *R2;
f r1=:{r2={a1}}	= {r1.r2 & a2=a1};