[GHC] #6076: Typo in error message about ScopedTypeVariables
GHC
cvs-ghc at haskell.org
Fri May 4 05:11:41 CEST 2012
#6076: Typo in error message about ScopedTypeVariables
------------------------------+---------------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.5 | Keywords: ScopedTypeVariables
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby: | Blocking:
Related: |
------------------------------+---------------------------------------------
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 {{{ScopedTypeVariable}}}'''{{{s}}}'''
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6076>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list