[GHC] #2151: GADTs in function Patterns

[GHC]

#2151: GADTs in function Patterns
----------------------+-----------------------------------------------------
 Reporter:  hpacheco  |          Owner:  chak       
     Type:  bug       |         Status:  new        
 Priority:  normal    |      Milestone:  6.10 branch
Component:  Compiler  |        Version:  6.9        
 Severity:  blocker   |     Resolution:             
 Keywords:            |     Difficulty:  Unknown    
 Testcase:            |   Architecture:  Multiple   
       Os:  Multiple  |  
----------------------+-----------------------------------------------------
Comment (by hpacheco):

 I found a workaround for this issue: define a sub-function that handles
 the erroneous pattern matching. I suggest using this style meanwhile.

 test :: Type a -> a -> a
 test (PF func) ID = aux func
    where aux :: Type (a -> a) -> a
          aux (Func _ _) = ID

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