[GHC] #10599: Template Haskell doesn't allow `newName "type"`
GHC
ghc-devs at haskell.org
Mon Jul 6 10:51:40 UTC 2015
#10599: Template Haskell doesn't allow `newName "type"`
-------------------------------------+-------------------------------------
Reporter: meteficha | Owner: goldfire
Type: bug | Status: new
Priority: high | Milestone: 7.12.1
Component: Template Haskell | Version: 7.10.2-rc2
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: | Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by bgamari):
Replying to [comment:7 goldfire]:
> If we disallow exports, would that alleviate your concerns, Ben? At that
point, we should really allow any (non-empty?) string as the argument for
`newName`. I think Greg is spot on in suggesting that the argument to
`newName` is merely a seed, not the name in question.
This sounds fine to me.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10599#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list