[clean-list] Black Screen: lift (TFA) (unitype.icl)
John van Groningen
johnvg at cs.ru.nl
Thu Aug 13 15:05:26 MEST 2009
>For once something new:
>
>module test
>
>Start = test
>
>:: A i = A i
>:: B :== A.i: A i
>
>test :: [B]
>test = []
>
>gives
>
> lift (TFA) (unitype.icl)
>
>on dreadful black screen.
A for all quantifier (A. var: ) can only be used at the beginning
of the type of a function argument, constructor argument or field
of a record. Not in a type synonym.
Unfortunately the parser accepts the quantifier almost everywhere
in a type, and this may cause a compiler crash.
Kind regards,
John van Groningen
More information about the clean-list
mailing list