From e399710f85f4d77b21e34392cbbf7874101930c1 Mon Sep 17 00:00:00 2001
From: panne <unknown>
Date: Sun, 16 Jul 2000 21:31:36 +0000
Subject: [PATCH] [project @ 2000-07-16 21:31:36 by panne] Document new
 -fstrictfp option

---
 ghc/docs/users_guide/using.sgml |   13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/ghc/docs/users_guide/using.sgml b/ghc/docs/users_guide/using.sgml
index 93a5a52..ba80d60 100644
--- a/ghc/docs/users_guide/using.sgml
+++ b/ghc/docs/users_guide/using.sgml
@@ -2203,6 +2203,19 @@ We have not played with <Option>-fsemi-tagging</Option> enough to recommend it.
 </Para>
 </ListItem>
 </VarListEntry>
+<VarListEntry>
+<Term><Option>-fstrictfp</Option>:</Term>
+<ListItem>
+<Para>
+This option has an effect similar to Java's <Literal>strictfp</Literal>
+modifier: When it is not given, intermediate floating point values can
+have a <Emphasis>greater</Emphasis> precision/range than the final type.
+Generally this is a good thing, but some programs may rely on the exact
+precision/range of <Literal>Float</Literal>/<Literal>Double</Literal>
+values and should use this option for their compilation.
+</Para>
+</ListItem>
+</VarListEntry>
 </VariableList>
 </Para>
 
-- 
1.7.10.4