Ticket #6076 (closed bug: fixed)
Typo in error message about ScopedTypeVariables
When I compile this code:
silly :: [a] -> [a] silly lst = case lst of  ->  ((h :: ty) : t) -> (h : t)
I get this error message:
Illegal type signature: `ty' Perhaps you intended to use -XScopedTypeVariable In a pattern type-signature
It seems this should be corrected to ScopedTypeVariables
Note: See TracTickets for help on using tickets.