From: simonpj <unknown>
Date: Fri, 2 Nov 2001 10:19:24 +0000 (+0000)
Subject: [project @ 2001-11-02 10:19:24 by simonpj]
X-Git-Tag: Approximately_9120_patches~651
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=6d5ff8c3d0d012881203da08cc37a4fdb7dc90dc;p=ghc-hetmet.git

[project @ 2001-11-02 10:19:24 by simonpj]
wibble
---

diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index 6a09aa1..da5c497 100644
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -2187,6 +2187,8 @@ Here, the type variable <literal>a</literal> scopes over the right hand side of
 just like <literal>x</literal> does; while the type variable <literal>b</literal> scopes over the
 body of the <literal>let</literal>, and all the other definitions in the <literal>let</literal>,
 just like <literal>p</literal> and <literal>q</literal> do.
+Indeed, the newly bound type variables also scope over any ordinary, separate
+type signatures in the <literal>let</literal> group.
 </para>
 </listitem>