diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-11-18 14:22:30 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-11-20 15:27:29 -0500 |
| commit | 113a37b6e39a3b4964ea6d93fd7adf30adb39426 (patch) | |
| tree | 7311074986e604a0f62e824f964570bd9cdad9c4 /docs | |
| parent | 8fea2acde696f9960ffcf84f512235bbf4b481d6 (diff) | |
| download | haskell-113a37b6e39a3b4964ea6d93fd7adf30adb39426.tar.gz | |
Update manual to get rid of bogus `coerce` example (#9788)
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/using.xml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index bf4f1c5d1d..1f0c029216 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> |