diff options
| author | Michael Smith <michael@diglumi.com> | 2015-07-27 13:19:01 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-07-27 13:50:10 +0200 |
| commit | 217827393dcacd0ef696c4f9f6136e21b3be63a8 (patch) | |
| tree | 39198ec8909613c911b633b05a6ce4f8de0b9e06 /docs | |
| parent | f842ad6c751c14ec331ca1709538c2f3e9a30ae7 (diff) | |
| download | haskell-217827393dcacd0ef696c4f9f6136e21b3be63a8.tar.gz | |
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
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/7.12.1-notes.xml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/users_guide/7.12.1-notes.xml b/docs/users_guide/7.12.1-notes.xml index 27ad849b16..eccf13d431 100644 --- a/docs/users_guide/7.12.1-notes.xml +++ b/docs/users_guide/7.12.1-notes.xml @@ -146,6 +146,18 @@ Partial type signatures can now be used in splices, see <xref linkend="pts-where"/>. </para> </listitem> + <listitem> + <para> + <literal>Template Haskell</literal> now supports the use of + <literal>UInfixT</literal> in types to resolve infix + operator fixities, in the same vein as + <literal>UInfixP</literal> and <literal>UInfixE</literal> + in patterns and expressions. <literal>ParensT</literal> + and <literal>InfixT</literal> have also been introduced, + serving the same functions as their pattern and expression + counterparts. + </para> + </listitem> </itemizedlist> </sect3> |