X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fusing.xml;h=544a6e85d2210ef717e7ae6cd57ee2dd0ee54b7d;hb=25ebbb764146f4c4634720bb285c3611e95cc951;hp=c09fa357fedefe8c3a07ccd19d4d96a4d1e206a9;hpb=6e2021202c3eec0c95a9d0b7c355559f2630d380;p=ghc-hetmet.git
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index c09fa35..544a6e8 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -138,6 +138,11 @@ module X where
The flag reference tables () lists the status of each flag.
+
+ There are a few flags that are static except that they can
+ also be used with GHCi's :set command; these
+ are listed as “static/:set” in the
+ table.
@@ -305,7 +310,7 @@ module X where
Dependency-generation mode. In this mode, GHC can be
used to generate dependency information suitable for use in
a Makefile. See .
+ linkend="makefile-dependencies"/>.
@@ -338,10 +343,11 @@ module X where
- ghc --versionghc -V
+ ghc --version
+ ghc -V
+
-
Print a one-line string including GHC's version number.
@@ -351,9 +357,9 @@ module X where
- ghc --numeric-version
+ ghc --numeric-version
+
-
Print GHC's numeric version number only.
@@ -363,9 +369,9 @@ module X where
- ghc --print-libdir
+ ghc --print-libdir
+
-
Print the path to GHC's library directory. This is
@@ -625,8 +631,8 @@ ghc -c Foo.hs
help optionsverbosity options
- See also the , , ,
- and modes in .
+ See also the , , ,
+ and modes in .
@@ -833,7 +839,17 @@ ghc -c Foo.hs
:
- Turns on all warning options.
+ Turns on all warning options that indicate potentially
+ suspicious code. The warnings that are
+ not enabled by
+ are:
+
+
+
+
+
+
+
@@ -899,6 +915,31 @@ ghc -c Foo.hs
+ :
+
+
+ implicit prelude, warning
+ Have the compiler warn if the Prelude is implicitly
+ imported. This happens unless either the Prelude module is
+ explicitly imported with an import ... Prelude ...
+ line, or this implicit import is disabled (either by
+ or a
+ LANGUAGE NoImplicitPrelude pragma).
+
+ Note that no warning is given for syntax that implicitly
+ refers to the Prelude, even if
+ would change whether it refers to the Prelude.
+ For example, no warning is given when
+ 368 means
+ Prelude.fromInteger (368::Prelude.Integer)
+ (where Prelude refers to the actual Prelude module,
+ regardless of the imports of the module being compiled).
+
+ This warning is off by default.
+
+
+
+ :
@@ -1000,7 +1041,8 @@ f foo = foo { x = 6 }
If you would like GHC to check that every top-level
function/value has a type signature, use the
- option. This
+ option. As part of
+ the warning GHC also reports the inferred type. The
option is off by default.
@@ -1018,7 +1060,7 @@ f foo = foo { x = 6 }
in the inadvertent cyclic definition let x = ... x
... in.
- Consequently, this option does
+ Consequently, this option
will complain about cyclic recursive
definitions.
@@ -1129,6 +1171,20 @@ f "2" = 2
+ :
+
+
+ monomorphism restriction, warning
+ Have the compiler warn/inform you where in your source
+ the Haskell Monomorphism Restriction is applied. If applied silently
+ the MR can give rise to unexpected behaviour, so it can be helpful
+ to have an explicit warning that it is being applied.
+
+ This warning is off by default.
+
+
+
+ :
@@ -1362,7 +1418,7 @@ f "2" = 2
Exception.assert in source code (in
other words, rewriting Exception.assert p
e to e (see ). This flag is turned on by
+ linkend="assertions"/>). This flag is turned on by
.
@@ -1517,7 +1573,7 @@ f "2" = 2
&phases;
-
+ Using Concurrent HaskellConcurrent Haskellusing
@@ -1547,7 +1603,7 @@ f "2" = 2
-
+ Using SMP parallelismparallelism