From 8f7d01632cd79957fe42ea37103ca9b91a1c54f5 Mon Sep 17 00:00:00 2001 From: Josh Price Date: Tue, 24 May 2016 12:35:21 +0200 Subject: Add support for unicode TH quotes (#11743) I've also added cases for `IToparenbar` and `ITcparenbar` (aka banana brackets) to `isUnicode`. Document unicode TH quote alternatives (#11743) Test Plan: ./validate Reviewers: austin, goldfire, bgamari Reviewed By: bgamari Subscribers: thomie, mpickering Differential Revision: https://phabricator.haskell.org/D2185 GHC Trac Issues: #11743 --- docs/users_guide/glasgow_exts.rst | 60 +++++++++++++++++++++------------------ 1 file changed, 32 insertions(+), 28 deletions(-) (limited to 'docs') diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 8abb2184ee..c48812cdcb 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -278,34 +278,38 @@ The language extension :ghc-flag:`-XUnicodeSyntax` enables Unicode characters to be used to stand for certain ASCII character sequences. The following alternatives are provided: -+--------------+---------------+-------------+--------------------------------+ -| ASCII | Unicode | Code point | Name | -| | alternative | | | -+==============+===============+=============+================================+ -| ``::`` | ∷ | 0x2237 | PROPORTION | -+--------------+---------------+-------------+--------------------------------+ -| ``=>`` | ⇒ | 0x21D2 | RIGHTWARDS DOUBLE ARROW | -+--------------+---------------+-------------+--------------------------------+ -| ``->`` | → | 0x2192 | RIGHTWARDS ARROW | -+--------------+---------------+-------------+--------------------------------+ -| ``<-`` | ← | 0x2190 | LEFTWARDS ARROW | -+--------------+---------------+-------------+--------------------------------+ -| ``>-`` | ⤚ | 0x291a | RIGHTWARDS ARROW-TAIL | -+--------------+---------------+-------------+--------------------------------+ -| ``-<`` | ⤙ | 0x2919 | LEFTWARDS ARROW-TAIL | -+--------------+---------------+-------------+--------------------------------+ -| ``>>-`` | ⤜ | 0x291C | RIGHTWARDS DOUBLE ARROW-TAIL | -+--------------+---------------+-------------+--------------------------------+ -| ``-<<`` | ⤛ | 0x291B | LEFTWARDS DOUBLE ARROW-TAIL | -+--------------+---------------+-------------+--------------------------------+ -| ``*`` | ★ | 0x2605 | BLACK STAR | -+--------------+---------------+-------------+--------------------------------+ -| ``forall`` | ∀ | 0x2200 | FOR ALL | -+--------------+---------------+-------------+--------------------------------+ -| ``(|`` | ⦇ | 0x2987 | Z NOTATION LEFT IMAGE BRACKET | -+--------------+---------------+-------------+--------------------------------+ -| ``|)`` | ⦈ | 0x2988 | Z NOTATION RIGHT IMAGE BRACKET | -+--------------+---------------+-------------+--------------------------------+ ++--------------+---------------+-------------+-----------------------------------------+ +| ASCII | Unicode | Code point | Name | +| | alternative | | | ++==============+===============+=============+=========================================+ +| ``::`` | ∷ | 0x2237 | PROPORTION | ++--------------+---------------+-------------+-----------------------------------------+ +| ``=>`` | ⇒ | 0x21D2 | RIGHTWARDS DOUBLE ARROW | ++--------------+---------------+-------------+-----------------------------------------+ +| ``->`` | → | 0x2192 | RIGHTWARDS ARROW | ++--------------+---------------+-------------+-----------------------------------------+ +| ``<-`` | ← | 0x2190 | LEFTWARDS ARROW | ++--------------+---------------+-------------+-----------------------------------------+ +| ``>-`` | ⤚ | 0x291a | RIGHTWARDS ARROW-TAIL | ++--------------+---------------+-------------+-----------------------------------------+ +| ``-<`` | ⤙ | 0x2919 | LEFTWARDS ARROW-TAIL | ++--------------+---------------+-------------+-----------------------------------------+ +| ``>>-`` | ⤜ | 0x291C | RIGHTWARDS DOUBLE ARROW-TAIL | ++--------------+---------------+-------------+-----------------------------------------+ +| ``-<<`` | ⤛ | 0x291B | LEFTWARDS DOUBLE ARROW-TAIL | ++--------------+---------------+-------------+-----------------------------------------+ +| ``*`` | ★ | 0x2605 | BLACK STAR | ++--------------+---------------+-------------+-----------------------------------------+ +| ``forall`` | ∀ | 0x2200 | FOR ALL | ++--------------+---------------+-------------+-----------------------------------------+ +| ``(|`` | ⦇ | 0x2987 | Z NOTATION LEFT IMAGE BRACKET | ++--------------+---------------+-------------+-----------------------------------------+ +| ``|)`` | ⦈ | 0x2988 | Z NOTATION RIGHT IMAGE BRACKET | ++--------------+---------------+-------------+-----------------------------------------+ +| ``[|`` | ⟦ | 0x27E6 | MATHEMATICAL LEFT WHITE SQUARE BRACKET | ++--------------+---------------+-------------+-----------------------------------------+ +| ``|]`` | ⟧ | 0x27E7 | MATHEMATICAL RIGHT WHITE SQUARE BRACKET | ++--------------+---------------+-------------+-----------------------------------------+ .. _magic-hash: -- cgit v1.2.1