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

[GHC]

#10522: Add UInfixT, like UInfixE or UInfixP but for types
-------------------------------------+-------------------------------------
        Reporter:  spinda            |                   Owner:  spinda
            Type:  feature request   |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Template Haskell  |                 Version:  7.10.1
      Resolution:                    |                Keywords:  newcomer
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:  Phab:D1088
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"217827393dcacd0ef696c4f9f6136e21b3be63a8/ghc" 2178273/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="217827393dcacd0ef696c4f9f6136e21b3be63a8"
 Add UInfixT to TH types (fixes #10522)

 UInfixT is like UInfixE or UInfixP but for types. Template Haskell
 splices can use it to punt fixity handling to GHC when constructing
 types.

 UInfixT is converted in compiler/hsSyn/Convert to a right-biased tree of
 HsOpTy, which is already rearranged in compiler/rename/RnTypes to match
 operator fixities.

 This patch consists of (1) adding UInfixT to the AST, (2) implementing
 the conversion and updating relevant comments, (3) updating
 pretty-printing and library support, and (4) adding tests.

 Test Plan: validate

 Reviewers: austin, goldfire, bgamari

 Reviewed By: bgamari

 Subscribers: thomie

 Differential Revision: https://phabricator.haskell.org/D1088

 GHC Trac Issues: #10522
 }}}

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