[GHC] #462: Incomplete pattern warnings with GADTs

[GHC]

#462: Incomplete pattern warnings with GADTs
-----------------------+----------------------------------------------------
  Reporter:  bring     |          Owner:  nobody  
      Type:  bug       |         Status:  assigned
  Priority:  low       |      Milestone:          
 Component:  Compiler  |        Version:  6.4.1   
  Severity:  minor     |     Resolution:  None    
  Keywords:            |             Os:  Unknown 
Difficulty:  Unknown   |   Architecture:  Unknown 
-----------------------+----------------------------------------------------
Changes (by simonpj):

  * architecture:  => Unknown
  * difficulty:  => Unknown
  * severity:  normal => minor
  * priority:  normal => low
  * os:  => Unknown

Comment:

 Adding proper pattern-match overlap warnings that take account of GADTs is
 indeed a good project.  But not one we plan to tackle very soon.

 Simon

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