[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