[GHC] #14032: Can't splice TH quote with infix declaration for name in two different namespaces
GHC
ghc-devs at haskell.org
Wed Jul 26 12:27:06 UTC 2017
#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
More information about the ghc-tickets
mailing list