Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/962195913a0262b3300332ee0eee02f1bb2125a2 >--------------------------------------------------------------- commit 962195913a0262b3300332ee0eee02f1bb2125a2 Author: Simon Peyton Jones <[email protected]> Date: Thu Sep 29 09:43:04 2011 +0100 Document :kind! in GHCi >--------------------------------------------------------------- docs/users_guide/ghci.xml | 8 ++++++-- 1 files changed, 6 insertions(+), 2 deletions(-) diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index 28c59fa..4be3d15 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -2256,14 +2256,18 @@ Prelude> :. cmds.ghci <varlistentry> <term> - <literal>:kind</literal> <replaceable>type</replaceable> + <literal>:kind</literal><optional><literal>!</literal></optional> + <replaceable>type</replaceable> <indexterm><primary><literal>:kind</literal></primary></indexterm> </term> <listitem> <para>Infers and prints the kind of <replaceable>type</replaceable>. The latter can be an arbitrary type expression, including a partial application of a type constructor, - such as <literal>Either Int</literal>.</para> + such as <literal>Either Int</literal>. If you specify the + optional "<literal>!</literal>", GHC will in addition normalise the type + by expanding out type synonyms and evaluating type-function applications, + and display the normalised result.</para> </listitem> </varlistentry> _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
