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 _______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list
