#7667: Template Haskell fails to recognize type operator/function + ----------------------------------------------+---------------------------- Reporter: andygill | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Template Haskell | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: th/T7667 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Changes (by goldfire): * status: closed => new * resolution: fixed => Comment: I would like to reinstate this check, having just spent several hours trying to track down a place where I had used `VarE` in some code where I should have used `ConE`. If the namespace check had been on, the error would have been very easy to spot. Instead, I just got "out of scope" errors for things that clearly ''were'' in scope. (Turned out, I had GHC looking in the wrong scope.) A smaller change than the one Simon proposed (that is, "remove the check") would be just to remove the requirement for colons at the beginning of a type symbol. Is there anything else that should be changed here? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7667#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler