From 483cdff0899f01688eff0163c5f297f5bc52e00c Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 20 May 2009 22:36:47 +0000 Subject: [PATCH] document -XUnicodeSyntax --- docs/users_guide/flags.xml | 2 +- docs/users_guide/glasgow_exts.xml | 69 +++++++++++++++++++++++++++++++++++++ 2 files changed, 70 insertions(+), 1 deletion(-) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 171eaba..2cbe4fa 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -789,7 +789,7 @@ - Enable unicode syntax. + Enable unicode syntax. dynamic diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 21aba83..f63c90e 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -335,6 +335,75 @@ Indeed, the bindings can even be recursive. Syntactic extensions + + Unicode syntax + The language + extension + enables Unicode characters to be used to stand for certain ASCII + character sequences. The following alternatives are provided: + + + + + + ASCII + Unicode alternative + Code point + Name + + + + + :: + :: + 0x2237 + PROPORTION + + + + + => + ⇒ + 0x21D2 + RIGHTWARDS DOUBLE ARROW + + + + + forall + ∀ + 0x2200 + FOR ALL + + + + + -> + → + 0x2192 + RIGHTWARDS ARROW + + + + + <- + ← + 0x2190 + LEFTWARDS ARROW + + + + + .. + … + 0x22EF + MIDLINE HORIZONTAL ELLIPSIS + + + + + + The magic hash The language extension allows "#" as a -- 1.7.10.4