#7484: Template Haskell allows building invalid record fields/names
---------------------------------+------------------------------------------
Reporter: iustin | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Template Haskell | Version: 7.6.1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Changes (by simonpj):
* difficulty: => Unknown
Comment:
Yes I see that. What would you like? Should `mkName` fail (by calling
`error`) when given an illegal name?
I wonder if some people might use an illegal name specificaly to ''avoid''
the danger of accidental capture? (Though you can always use `newName`
for that.)
Perhaps it would suffice to reject spaces in names, becuase that is
perhaps particularly confusing.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7484#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
