From 085afd3e54adb6a240b8c498bae29e4b7402525a Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Mon, 5 Apr 2004 11:14:30 +0000
Subject: [PATCH] [project @ 2004-04-05 11:14:29 by simonpj] Document :kind

---
 ghc/compiler/ghci/InteractiveUI.hs |    3 ++-
 ghc/docs/users_guide/ghci.sgml     |   12 ++++++++++++
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/ghc/compiler/ghci/InteractiveUI.hs b/ghc/compiler/ghci/InteractiveUI.hs
index 7977305..7a80aa5 100644
--- a/ghc/compiler/ghci/InteractiveUI.hs
+++ b/ghc/compiler/ghci/InteractiveUI.hs
@@ -1,6 +1,6 @@
 {-# OPTIONS -#include "Linker.h" #-}
 -----------------------------------------------------------------------------
--- $Id: InteractiveUI.hs,v 1.164 2004/04/05 10:50:26 simonpj Exp $
+-- $Id: InteractiveUI.hs,v 1.165 2004/04/05 11:14:30 simonpj Exp $
 --
 -- GHC Interactive User Interface
 --
@@ -134,6 +134,7 @@ helpText = "\
 \   :show bindings	       show the current bindings made at the prompt\n\ 
 \\n\ 
 \   :type <expr>	       show the type of <expr>\n\ 
+\   :kind <type>	       show the kind of <type>\n\ 
 \   :undef <cmd> 	       undefine user-defined command :<cmd>\n\ 
 \   :unset <option> ...	       unset options\n\ 
 \   :quit		       exit GHCi\n\ 
diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml
index d87c1db..dc391c0 100644
--- a/ghc/docs/users_guide/ghci.sgml
+++ b/ghc/docs/users_guide/ghci.sgml
@@ -63,6 +63,7 @@ Prelude>
    :show bindings             show the current bindings made at the prompt
 
    :type &lt;expr&gt;               show the type of &lt;expr&gt;
+   :kind &lt;type&gt;               show the kind of &lt;type&gt;
    :undef &lt;cmd&gt;               undefine user-defined command :&lt;cmd&gt;
    :unset &lt;option&gt; ...        unset options
    :quit                      exit GHCi
@@ -1059,6 +1060,17 @@ Prelude> :def make (\_ -> return ":! ghc &ndash;&ndash;make Main")
       </varlistentry>
 
       <varlistentry>
+	<term><literal>:kind</literal> <replaceable>type</replaceable></term>
+	<indexterm><primary><literal>:kind</literal></primary></indexterm>
+	<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>
+	</listitem>
+      </varlistentry>
+
+      <varlistentry>
 	<term><literal>:undef</literal> <replaceable>name</replaceable></term>
 	<indexterm><primary><literal>:undef</literal></primary></indexterm>
 	<listitem>
-- 
1.7.10.4