[commit: ghc] master: docs: Fix unicode alternatives table (fixes #10509). (016bbfd)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/016bbfd261b91193baa99ec008b469a70c66b8be/ghc

>---------------------------------------------------------------

commit 016bbfd261b91193baa99ec008b469a70c66b8be
Author: Sebastian Reuße <seb at wirrsal.net>
Date:   Fri Jun 12 10:36:15 2015 +0200

    docs: Fix unicode alternatives table (fixes #10509).
    
    The alternatives table gave the wrong glyphs for LEFTWARDS resp.
    RIGHTWARDS ARROW-TAIL notation. The listed codepoint was correct,
    but the entities corresponded to characters different from those
    codepoints.
    
    This also adds the glyphs for LEFTWARDS resp. RIGHTWARDS
    DOUBLE ARROW-TAIL, which were formerly missing, and the PROPORTION
    glyph, which was formerly given as ASCII.


>---------------------------------------------------------------

016bbfd261b91193baa99ec008b469a70c66b8be
 docs/users_guide/glasgow_exts.xml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 303833a..08208d4 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -322,7 +322,7 @@ Indeed, the bindings can even be recursive.
 	  <tbody>
 	    <row>
 	      <entry><literal>::</literal></entry>
-	      <entry>::</entry> <!-- no special char, apparently -->
+	      <entry>&#x2237;</entry>
               <entry>0x2237</entry>
 	      <entry>PROPORTION</entry>
 	    </row>
@@ -363,7 +363,7 @@ Indeed, the bindings can even be recursive.
 	  <tbody>
 	    <row>
 	      <entry>-<</entry>
-	      <entry>↢</entry>
+	      <entry>&#x2919;</entry>
 	      <entry>0x2919</entry>
 	      <entry>LEFTWARDS ARROW-TAIL</entry>
 	    </row>
@@ -372,7 +372,7 @@ Indeed, the bindings can even be recursive.
 	  <tbody>
 	    <row>
 	      <entry>>-</entry>
-	      <entry>↣</entry>
+	      <entry>&#x291A;</entry>
 	      <entry>0x291A</entry>
 	      <entry>RIGHTWARDS ARROW-TAIL</entry>
 	    </row>
@@ -381,7 +381,7 @@ Indeed, the bindings can even be recursive.
 	  <tbody>
 	    <row>
 	      <entry>-<<</entry>
-	      <entry></entry>
+	      <entry>&#x291B;</entry>
 	      <entry>0x291B</entry>
 	      <entry>LEFTWARDS DOUBLE ARROW-TAIL</entry>
 	    </row>
@@ -390,7 +390,7 @@ Indeed, the bindings can even be recursive.
 	  <tbody>
 	    <row>
 	      <entry>>>-</entry>
-	      <entry></entry>
+	      <entry>&#x291C;</entry>
 	      <entry>0x291C</entry>
 	      <entry>RIGHTWARDS DOUBLE ARROW-TAIL</entry>
 	    </row>