diff options
Diffstat (limited to 'docs/users_guide/flags.xml')
| -rw-r--r-- | docs/users_guide/flags.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index e765525c13..1245d25fde 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1538,6 +1538,15 @@ </row> <row> + <entry><option>-fpedantic-bottoms</option></entry> + <entry>Make GHC be more precise about its treatment of bottom (but see also + <option>-fno-state-hack</option>). In particular, GHC will not + eta-expand through a case expression.</entry> + <entry>dynamic</entry> + <entry><option>-fno-pedantic-bottoms</option></entry> + </row> + + <row> <entry><option>-fomit-interface-pragmas</option></entry> <entry>Don't generate interface pragmas</entry> <entry>dynamic</entry> |