#14032: Can't splice TH quote with infix declaration for name in two different namespaces -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): I'm not feeling like adding yet another ghc-proposal to my queue at the moment, but this really should be fixed at the language level. I propose `type infix 5 :*:` to mean a fixity declaration on a type, and then to deprecate and eventually eliminate the current behavior of a fixity declaration that applies to both levels simultaneously (while respecting the 3-release policy). If you (meaning ''you'', the reader of this comment) agree and have the time, make this into a proper proposal! :) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14032#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler