#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


 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.


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

Reply via email to