X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fusing.xml;h=20bb687b4f8b10dd0ff8048e783ad29ddde84f6b;hp=d6eb6ed30183ff2d702c8b886550b5fdafbe9d29;hb=43e0bca04009902c16f8f764dcb9a78c8da277c9;hpb=dc055e5ce94940711e5c342afd13d6f5d9bafed4 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. + + + + :