Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/276c05275d47a339d4789fa4885b0dd23bc3c606 >--------------------------------------------------------------- commit 276c05275d47a339d4789fa4885b0dd23bc3c606 Author: Simon Peyton Jones <[email protected]> Date: Wed Dec 28 15:10:35 2011 +0000 Documentation wibble: kind -> sort >--------------------------------------------------------------- docs/users_guide/glasgow_exts.xml | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index e3c0e73..1923a7f 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -5314,7 +5314,8 @@ Sum k1 k2 :: BOX L :: k1 -> Sum k1 k2 R :: k2 -> Sum k1 k2 </programlisting> -Note that <literal>List</literal>, for instance, does not get kind +where <literal>BOX</literal> is the (unique) sort that classifies kinds. +Note that <literal>List</literal>, for instance, does not get sort <literal>BOX -> BOX</literal>, because we do not further classify kinds; all kinds have sort <literal>BOX</literal>. </para> _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
