From 6d5ff8c3d0d012881203da08cc37a4fdb7dc90dc Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 2 Nov 2001 10:19:24 +0000
Subject: [PATCH] [project @ 2001-11-02 10:19:24 by simonpj] wibble

---
 ghc/docs/users_guide/glasgow_exts.sgml |    2 ++
 1 file changed, 2 insertions(+)

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>
 
-- 
1.7.10.4