From 734ebccb84c665f808b80b72aecef7fc75466204 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Thu, 14 Apr 2011 20:45:55 +0100
Subject: Fix typo in docs; spotted by Rustom Mody in beginners@
---
docs/users_guide/glasgow_exts.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'docs')
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index a5fba51788..9ea3332463 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -5884,7 +5884,7 @@ type variables, in the annotated expression. For example:
<programlisting>
f = runST ( (op >>= \(x :: STRef s Int) -> g x) :: forall s. ST s Bool )
</programlisting>
-Here, the type signature <literal>forall a. ST s Bool</literal> brings the
+Here, the type signature <literal>forall s. ST s Bool</literal> brings the
type variable <literal>s</literal> into scope, in the annotated expression
<literal>(op >>= \(x :: STRef s Int) -> g x)</literal>.
</para>
--
cgit v1.2.1
From 40df25409b34352f33f63881a3b9d9846ee03748 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Sat, 16 Apr 2011 21:53:48 +0100
Subject: Document -fwarn-missing-local-sigs; part of #4817
---
docs/users_guide/flags.xml | 7 +++++++
docs/users_guide/using.xml | 14 ++++++++++++++
2 files changed, 21 insertions(+)
(limited to 'docs')
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index e0940aec0d..26ab9ebe5f 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1179,6 +1179,13 @@
<entry><option>-fno-warn-missing-signatures</option></entry>
</row>
+ <row>
+ <entry><option>-fwarn-missing-local-sigs</option></entry>
+ <entry>warn about polymorphic local bindings without signatures</entry>
+ <entry>dynamic</entry>
+ <entry><option>-fno-warn-missing-local-sigs</option></entry>
+ </row>
+
<row>
<entry><option>-fwarn-name-shadowing</option></entry>
<entry>warn when names are shadowed</entry>
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index 8b08d9d526..115c290491 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -1372,6 +1372,20 @@ module M where
</listitem>
</varlistentry>
+ <varlistentry>
+ <term><option>-fwarn-missing-local-sigs</option>:</term>
+ <listitem>
+ <indexterm><primary><option>-fwarn-missing-local-sigs</option></primary></indexterm>
+ <indexterm><primary>type signatures, missing</primary></indexterm>
+
+ <para>If you use the
+ <option>-fwarn-missing-local-sigs</option> flag GHC will warn
+ you about any polymorphic local bindings. As part of
+ the warning GHC also reports the inferred type. The
+ option is off by default.</para>
+ </listitem>
+ </varlistentry>
+
<varlistentry>
<term><option>-fwarn-name-shadowing</option>:</term>
<listitem>
--
cgit v1.2.1
From e550494a8e6d28274fa124bdb10d4c7f40fe074b Mon Sep 17 00:00:00 2001
From: Lennart Kolmodin <kolmodin@gmail.com>
Date: Thu, 21 Apr 2011 18:17:02 +0200
Subject: Fix typo in shared libraries documentation.
---
docs/users_guide/shared_libs.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'docs')
diff --git a/docs/users_guide/shared_libs.xml b/docs/users_guide/shared_libs.xml
index def773c0a8..89b656a49f 100644
--- a/docs/users_guide/shared_libs.xml
+++ b/docs/users_guide/shared_libs.xml
@@ -16,7 +16,7 @@
shared between several programs. In contrast, with static linking the
code is copied into each program. Using shared libraries can thus save
disk space. They also allow a single copy of code to be shared in memory
- between several programs that use it. Shared libraires are often used as
+ between several programs that use it. Shared libraries are often used as
a way of structuring large projects, especially where different parts are
written in different programming languages. Shared libraries are also
commonly used as a plugin mechanism by various applications. This is
--
cgit v1.2.1