#5375: Regression in newName
---------------------------------+------------------------------------------
Reporter: reinerp | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Template Haskell | Version: 7.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: GHC rejects valid program
---------------------------------+------------------------------------------
Comment(by reinerp):
I see. Incidentally, when playing around with this, I discovered a related
bug, which I've reported: #5379.
So it seems like we need three ways of making names:
* {{{mkName}}}, as it currently behaves
* {{{newName}}}, as it behaved in ghc-7.0.3 and before: there is
absolutely no way of names it produces being accidentally captured
* {{{newName}}}, as it behaves in ghc HEAD.
As I said in my previous comment, would it at least be possible to give
the third option a different name, to avoid changing the semantics of
{{{newName}}}?
Reiner
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5375#comment:5>
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
