diff options
Diffstat (limited to 'docs/users_guide/flags.xml')
| -rw-r--r-- | docs/users_guide/flags.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 464cce7c48..98c09bf322 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -3101,6 +3101,12 @@ <entry>-</entry> </row> <row> + <entry><option>-dth-dec-file</option></entry> + <entry>Show evaluated TH declarations in a .th.hs file</entry> + <entry>dynamic</entry> + <entry>-</entry> + </row> + <row> <entry><option>-ddump-types</option></entry> <entry>Dump type signatures</entry> <entry>dynamic</entry> |