[GHC] #7667: Template Haskell fails to recognize type operator/function +

[GHC]

#7667: Template Haskell fails to recognize type operator/function +
---------------------------------+------------------------------------------
    Reporter:  andygill          |       Owner:                           
        Type:  bug               |      Status:  new                      
    Priority:  normal            |   Milestone:                           
   Component:  Template Haskell  |     Version:  7.6.2                    
    Keywords:                    |          Os:  Unknown/Multiple         
Architecture:  Unknown/Multiple  |     Failure:  GHC rejects valid program
  Difficulty:  Unknown           |    Testcase:                           
   Blockedby:                    |    Blocking:                           
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by simonpj):

  * difficulty:  => Unknown


Comment:

 OK so we could test flags etc make `okOcc` accept the type operator.  Or
 alternatively we could simply omit the test, which would allow TH to
 generate names that the programmer could not right. In fact it currently
 only checks the name space; that is, checks that if the name claims to be
 a data constructor then it starts with an uppper case letter or colon.
 But it does ''not'' check the name is a legal one; it could be the data
 constructor `C$$` for example, which the programmer can't write.

 I'm inclined to go the whole way, and simply treat the name space in the
 TH name as authoritative, regardless of the string that used for the name.

 I'll that unless someone yells.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7667#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler