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