#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
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
