summaryrefslogtreecommitdiff
path: root/ghc/docs/users_guide/using.sgml
diff options
context:
space:
mode:
authorrrt <unknown>2000-10-09 16:51:01 +0000
committerrrt <unknown>2000-10-09 16:51:01 +0000
commit9cd3ca368ac5342202ad286885b1ac9c196ecd7c (patch)
treec70fe1db7528e665000258070f51ca32c0d188a9 /ghc/docs/users_guide/using.sgml
parent8f37eddd9b90a2287441da87f046ebfc711768ab (diff)
downloadhaskell-9cd3ca368ac5342202ad286885b1ac9c196ecd7c.tar.gz
[project @ 2000-10-09 16:51:01 by rrt]
Many fixes to make it DocBook friendly.
Diffstat (limited to 'ghc/docs/users_guide/using.sgml')
-rw-r--r--ghc/docs/users_guide/using.sgml11
1 files changed, 9 insertions, 2 deletions
diff --git a/ghc/docs/users_guide/using.sgml b/ghc/docs/users_guide/using.sgml
index 92517b0ddb..8d6d658536 100644
--- a/ghc/docs/users_guide/using.sgml
+++ b/ghc/docs/users_guide/using.sgml
@@ -905,17 +905,23 @@ It completely defeats that purpose if the literal "1" means "<Literal>Prelude.fr
which is what the Haskell Report specifies. So the <Option>-fno-implicit-prelude</Option> flag causes
the following pieces of built-in syntax to refer to whatever is in scope, not the Prelude versions:
<ItemizedList>
-<ListItem>
+<ListItem>
+<Para>
Integer and fractional literals mean "<Literal>fromInteger 1</Literal>" and "<Literal>fromRational 3.2</Literal>",
not the Prelude-qualified versions; both in expressions and in patterns.
+</Para>
</ListItem>
<ListItem>
+<Para>
Negation (e.g. "<Literal>- (f x)</Literal>") means "<Literal>negate (f x)</Literal>" (not <Literal>Prelude.negate</Literal>).
+</Para>
</ListItem>
<ListItem>
-In an n+k pattern, the standard Prelude <Literal>OrdK/Literal> class is used for comparison, but the
+<Para>
+In an n+k pattern, the standard Prelude <Literal>Ord</Literal> class is used for comparison, but the
necessary subtraction uses
whatever "<Literal>(-)</Literal>" is in scope (not "<Literal>Prelude.(-)</Literal>").
+</Para>
</ListItem>
</ItemizedList>
</Para>
@@ -2147,6 +2153,7 @@ apply (see <Option>-funfolding-con-discount</Option>).
<VarListEntry>
<Term><Option>-funfolding-update-in-place&lt;n&gt;</Option>:</Term>
<ListItem>
+<Para>
Switches on an experimental "optimisation". Switching it on makes the compiler
a little keener to inline a function that returns a constructor, if the context is
that of a thunk.