diff --git a/ghc/docs/users_guide/using.sgml b/ghc/docs/users_guide/using.sgml index 93a5a52d3b515e80263dc022f778bf393ca2bd87..ba80d60b3e37e0f1f39abc206fee9e230f796a6c 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>