#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