[GHC] #8750: Invalid identifier generated with Template Haskell not rejected

[GHC]

#8750: Invalid identifier generated with Template Haskell not rejected
--------------------------+------------------------------------------------
       Reporter:          |             Owner:
  jstolarek               |            Status:  new
           Type:  bug     |         Milestone:
       Priority:  normal  |           Version:  7.7
      Component:          |  Operating System:  Unknown/Multiple
  Template Haskell        |   Type of failure:  GHC accepts invalid program
       Keywords:          |         Test Case:
   Architecture:          |          Blocking:
  Unknown/Multiple        |
     Difficulty:          |
  Unknown                 |
     Blocked By:          |
Related Tickets:          |
--------------------------+------------------------------------------------
 I wrote Template Haskell code that generates this declaration:

 {{{
 data (:+Sym1) (a:: Nat) (b :: TyFun Nat Nat)
 }}}

 `(:+Sym1)` is not a valid identifier and this declaration fails when I
 simply put it in a source file and try to compile it. However I get no
 errors when this definition is generated from Template Haskell. Not sure
 if this is intended behaviour or not.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8750>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler