[GHC] #7179: Non-unique variable bindings in the Core

[GHC]

#7179: Non-unique variable bindings in the Core
------------------------------+---------------------------------------------
 Reporter:  stephen70edwards  |          Owner:                  
     Type:  bug               |         Status:  new             
 Priority:  normal            |      Component:  External Core   
  Version:  7.4.1             |       Keywords:  CoreSyn Unique  
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  Other             |       Testcase:                  
Blockedby:                    |       Blocking:                  
  Related:                    |  
------------------------------+---------------------------------------------
 In the process of using GHC as a library, I found that the new variables
 bound in a core Case may not be unique, which I did not expect (what part
 of "unique" don't you understand?). They're in mutually exclusive branches
 and don't seem to adversely affect the generated code (perhaps another
 unique pass runs).

 It's visible in the external core output, although I discovered the
 problem while using core data structures.

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