[commit: ghc] master: Update manual to get rid of bogus `coerce` example (#9788) (113a37b)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/113a37b6e39a3b4964ea6d93fd7adf30adb39426/ghc

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

commit 113a37b6e39a3b4964ea6d93fd7adf30adb39426
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)


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

113a37b6e39a3b4964ea6d93fd7adf30adb39426
 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 bf4f1c5..1f0c029 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -923,10 +923,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>