[clean-list] Black Screen: lift (TFA) (unitype.icl)

[John van Groningen]

Vag wrote:
>John van Groningen wrote:
>>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.
>>
>> 
>Why then the following code causes same error message (TFA):
>
>module SelfAppArgument
>
>Start = a \ a = a
>
>a :: (A.a:a -> a) -> (A.a:a -> a)
>a a = a a

Because you are using a for all quantifier at the beginning of the
result of a function type specification, and not at the beginning of
an argument of a function type specification.

Kind regards,

John van Groningen