Ticket #6076 (closed bug: fixed)
Typo in error message about ScopedTypeVariables
Description
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
Change History
Note: See
TracTickets for help on using
tickets.
