[commit: ghc] wip/rae: Update manual to get rid of bogus `coerce` example (#9788) (ee543e5)

[git at git.haskell.org]

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

On branch  : wip/rae
Link       : http://ghc.haskell.org/trac/ghc/changeset/ee543e5f27d8c2848ecea387dc694fb75da3fff4/ghc

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

commit ee543e5f27d8c2848ecea387dc694fb75da3fff4
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Tue Nov 18 14:22:30 2014 -0500

    Update manual to get rid of bogus `coerce` example (#9788)


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

ee543e5f27d8c2848ecea387dc694fb75da3fff4
 docs/users_guide/using.xml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index 07d487e..e9df9e4 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -910,10 +910,11 @@ GHC.ST.runST :: (forall s. GHC.ST.ST s a) -> a
 <listitem><para>If any of the quantified type variables has a kind
 that mentions a kind variable, e.g.
 <screen>
-ghci> :i Data.Coerce.coerce
-coerce ::
-  forall (k :: BOX) (a :: k) (b :: k). Coercible a b => a -> b
-     -- Defined in GHC.Prim
+ghci> :i Data.Type.Equality.sym
+Data.Type.Equality.sym ::
+  forall (k :: BOX) (a :: k) (b :: k).
+  (a Data.Type.Equality.:~: b) -> b Data.Type.Equality.:~: a
+        -- Defined in Data.Type.Equality
 </screen>
 </para></listitem>
 </itemizedlist>