X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fusing.xml;h=544a6e85d2210ef717e7ae6cd57ee2dd0ee54b7d;hb=622e67a80631c7528ebfa51e9a863c27e74f1c6b;hp=a9ad52838e2fe6ebfbcf84149a3226c3ac891eb2;hpb=f8c30102cdc246af5720b3bc8f2211e352edda5f;p=ghc-hetmet.git
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index a9ad528..544a6e8 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -848,6 +848,7 @@ ghc -c Foo.hs
+
@@ -914,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.
+
+
+
+ :
@@ -1034,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.
@@ -1154,7 +1180,7 @@ f "2" = 2
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 on by default.
+ This warning is off by default.