X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=docs%2Fusers_guide%2Fusing.xml;h=ee4d9fd02d0b49b7508c43b747270faa96f9c789;hb=e2424a6c39f2bc25e8c034af3d539455e937213e;hp=2503acebd49551b04513de9c966f54d38cc64a5e;hpb=559a5553ca80955393365335903237bec2e7a583;p=ghc-hetmet.git
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index 2503ace..ee4d9fd 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -343,6 +343,30 @@ module X where
+ ghc --supported-languages
+
+
+
+
+ Print the supported language extensions.
+
+
+
+
+
+
+ ghc --info
+
+
+
+
+ Print information about the compiler.
+
+
+
+
+
+ ghc --versionghc -V
@@ -819,6 +843,7 @@ ghc -c Foo.hs
-W optionProvides the standard warnings plus
,
+ ,
,
, and
.
@@ -826,28 +851,27 @@ ghc -c Foo.hs
- :
-
-
- Turns off all warnings, including the standard ones.
-
-
-
- :Turns on all warning options that indicate potentially
suspicious code. The warnings that are
not enabled by
- are:
-
-
-
-
-
-
-
+ are
+ ,
+ ,
+ ,
+ , and
+ .
+
+
+
+
+ :
+
+
+ Turns off all warnings, including the standard ones and
+ those that -Wall doesn't enable.
@@ -878,6 +902,20 @@ ghc -c Foo.hs
function or type is used. Entities can be marked as
deprecated using a pragma, see .
+
+ This option is on by default.
+
+
+
+
+ :
+
+
+
+ Causes a warning to be emitted when a a datatype
+ T is imported
+ with all constructors, i.e. T(..), but has been
+ exported abstractly, i.e. T.
@@ -954,7 +992,7 @@ ghc -c Foo.hs
g [] = 2
- This option isn't enabled be default because it can be
+ This option isn't enabled by default because it can be
a bit noisy, and it doesn't always indicate a bug in the
program. However, it's generally considered good practice
to cover all the cases in your functions.
@@ -982,7 +1020,7 @@ f :: Foo -> Foo
f foo = foo { x = 6 }
- This option isn't enabled be default because it can be
+ This option isn't enabled by default because it can be
very noisy, and it often doesn't indicate a bug in the
program.
@@ -1055,12 +1093,8 @@ f foo = foo { x = 6 }
inner-scope value has the same name as an outer-scope value,
i.e. the inner value shadows the outer one. This can catch
typographical errors that turn into hard-to-find bugs, e.g.,
- in the inadvertent cyclic definition let x = ... x
- ... in.
-
- Consequently, this option
- will complain about cyclic recursive
- definitions.
+ in the inadvertent capture of what would be a recursive call in
+ f = ... let f = id in ... f ....
@@ -1094,7 +1128,7 @@ f foo = foo { x = 6 }
By default, the compiler will warn you if a set of
- patterns are overlapping, i.e.,
+ patterns are overlapping, e.g.,
f :: String -> Int
@@ -1119,7 +1153,7 @@ f "2" = 2
patterns that can fail, eg. \(x:xs)->....
Normally, these aren't treated as incomplete patterns by
.
- ``Lambda-bound patterns'' includes all places where there is a single pattern,
+ “Lambda-bound patterns” includes all places where there is a single pattern,
including list comprehensions and do-notation. In these cases, a pattern-match
failure is quite legitimate, and triggers filtering (list comprehensions) or
the monad fail operation (monads). For example:
@@ -1129,10 +1163,6 @@ f "2" = 2
Switching on will elicit warnings about
these probably-innocent cases, which is why the flag is off by default.
- The deriving( Read ) mechanism produces monadic code with
- pattern matches, so you will also get misleading warnings about the compiler-generated
- code. (This is arguably a Bad Thing, but it's awkward to fix.)
-
@@ -1157,7 +1187,7 @@ f "2" = 2
the Haskell defaulting mechanism for numeric types kicks
in. This is useful information when converting code from a
context that assumed one default into one with another,
- e.g., the `default default' for Haskell 1.4 caused the
+ e.g., the ‘default default’ for Haskell 1.4 caused the
otherwise unconstrained value 1 to be
given the type Int, whereas Haskell 98
defaults it to Integer. This may lead to