[GHC] #10522: Add UInfixT, like UInfixE or UInfixP but for types

14 Jun 2015


      #10522: Add UInfixT, like UInfixE or UInfixP but for types
-------------------------------------+-------------------------------------
              Reporter:  spinda      |             Owner:
                  Type:  feature     |            Status:  new
  request                            |         Milestone:
              Priority:  normal      |           Version:  7.10.1
             Component:  Template    |  Operating System:  Unknown/Multiple
  Haskell                            |   Type of failure:  None/Unknown
              Keywords:              |        Blocked By:
          Architecture:              |   Related Tickets:
  Unknown/Multiple                   |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
 TemplateHaskell provides [https://hackage.haskell.org/package/template-
 haskell-2.10.0.0/docs/Language-Haskell-TH-Syntax.html#infix UInfixE and
 UInfixP] for punting fixity handling of infix operators in expressions and
 patterns. There doesn't seem to be an equivalent for type operators in
 TH's [https://hackage.haskell.org/package/template-haskell-2.10.0.0/docs
 /Language-Haskell-TH-Syntax.html#t:Type type representation], but it would
 be nice to have one.

 (In fact, it doesn't appear possible to implement this manually, either,
 as the TemplateHaskell doesn't expose fixity information at all for type
 operators, at least as far as I can tell.)

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