[GHC] #7369: Simplifier bug(?)

[GHC]

#7369: Simplifier bug(?)
-------------------------------+--------------------------------------------
  Reporter:  sweirich          |          Owner:                  
      Type:  bug               |         Status:  closed          
  Priority:  normal            |      Milestone:                  
 Component:  Compiler          |        Version:  7.6.1           
Resolution:  duplicate         |       Keywords:                  
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  Other             |     Difficulty:  Unknown         
  Testcase:                    |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------

Comment(by sweirich):

 Ah, not a dup of #1495 (which related but uses newtypes and is reported
 "fixed"),  but it is a duplicate of #5400 (which uses GADTs).

 Also related to #3872.

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