diff options
| author | Josh Price <thepig247@gmail.com> | 2016-05-24 12:35:21 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-24 13:03:08 +0200 |
| commit | 8f7d01632cd79957fe42ea37103ca9b91a1c54f5 (patch) | |
| tree | 79c734d0733bd752f2910c5da6a24e6080d0a6f9 /docs | |
| parent | 1bf5c126c028285911138454689ea8068a7f9c37 (diff) | |
| download | haskell-8f7d01632cd79957fe42ea37103ca9b91a1c54f5.tar.gz | |
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
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 60 |
1 files changed, 32 insertions, 28 deletions
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: |