From 43e0bca04009902c16f8f764dcb9a78c8da277c9 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Thu, 5 Mar 2009 14:31:28 +0000 Subject: [PATCH] Document -fwarn-unrecognised-pragmas; fixes trac #3031 --- docs/users_guide/flags.xml | 7 +++++++ docs/users_guide/glasgow_exts.xml | 2 +- docs/users_guide/using.xml | 17 +++++++++++++++++ 3 files changed, 25 insertions(+), 1 deletion(-) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 8356a28..171eaba 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1027,6 +1027,13 @@ + + warn about uses of pragmas that GHC doesn't recognise + dynamic + + + + warn about uses of functions & types that have warnings or deprecated pragmas dynamic diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 75ada1d..b7e8ca4 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -6889,7 +6889,7 @@ Assertion failures can be caught, see the documentation for the word. The various values for word that GHC understands are described in the following sections; any pragma encountered with an - unrecognised word is (silently) + unrecognised word is ignored. The layout rule applies in pragmas, so the closing #-} should start in a column to the right of the opening {-#. diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index d6eb6ed..20bb687 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -918,6 +918,23 @@ ghc -c Foo.hs + : + + + + warnings + pragmas + Causes a warning to be emitted when a + pragma that GHC doesn't recognise is used. As well as pragmas + that GHC itself uses, GHC also recognises pragmas known to be used + by other tools, e.g. OPTIONS_HUGS and + DERIVE. + + This option is on by default. + + + + : -- 1.7.10.4