diff options
Diffstat (limited to 'docs/users_guide/flags.xml')
| -rw-r--r-- | docs/users_guide/flags.xml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 928c6275b9..c9186006d6 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -54,6 +54,12 @@ <entry>-fno-print-unicode-syntax</entry> </row> <row> + <entry><option>-fprint-expanded-synonyms</option></entry> + <entry>In type errors, also print type-synonym-expanded types.</entry> + <entry>dynamic</entry> + <entry>-fno-print-expanded-synonyms</entry> + </row> + <row> <entry><option>-ferror-spans</option></entry> <entry>output full span in error messages</entry> <entry>dynamic</entry> @@ -3374,6 +3380,12 @@ <entry>-</entry> </row> <row> + <entry><option>-dsuppress-unfoldings</option></entry> + <entry>Suppress the printing of the stable unfolding of a variable at its binding site</entry> + <entry>dynamic</entry> + <entry>-</entry> + </row> + <row> <entry><option>-dsuppress-module-prefixes</option></entry> <entry>Suppress the printing of module qualification prefixes</entry> <entry>dynamic</entry> |