[GHC] #7352: this type signature in a case alternative does not typecheck and requires ScopedTypeVariables

[GHC]

#7352: this type signature in a case alternative does not typecheck and requires
ScopedTypeVariables
------------------------------+---------------------------------------------
 Reporter:  atnnn             |          Owner:  atnnn                  
     Type:  bug               |         Status:  new                    
 Priority:  normal            |      Component:  Compiler (Type checker)
  Version:  7.6.1             |       Keywords:                         
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple       
  Failure:  None/Unknown      |       Testcase:                         
Blockedby:                    |       Blocking:                         
  Related:                    |  
------------------------------+---------------------------------------------

Comment(by atnnn):

 The PatternSignature extension was deprecated in favour of
 ScopedTypeVariables in GHC 6.10

 http://www.haskell.org/ghc/docs/6.10.2/html/users_guide/release-6-10-1.html
 http://www.haskell.org/pipermail/haskell-cafe/2009-April/059520.html

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7352#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler