diff options
| author | Bertram Felgenhauer <int-e@gmx.de> | 2015-04-14 09:10:52 -0500 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2015-04-14 09:11:15 -0500 |
| commit | 6dd2765a300bb139b4ab67688dbc6f48de66969b (patch) | |
| tree | ba7a31c48d2480f33a476953f74e20d7fca34a94 /docs/users_guide/flags.xml | |
| parent | 5fded20c51ae61770f909351c851aaca3d3e331c (diff) | |
| download | haskell-6dd2765a300bb139b4ab67688dbc6f48de66969b.tar.gz | |
Implement -f[no-]print-unicode-syntax flag for unicode syntax output (#8959)
There is currently no way to separate whether UnicodeSyntax is accepted
for input from the corresponding output syntax using unicode symbols.
This patch implements a separate flag for affecting ghc(i)'s output.
Signed-off-by: Bertram Felgenhauer <int-e@gmx.de>
Reviewed By: nomeata, austin
Differential Revision: https://phabricator.haskell.org/D807
GHC Trac Issues: #8959
Diffstat (limited to 'docs/users_guide/flags.xml')
| -rw-r--r-- | docs/users_guide/flags.xml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 4d4706b005..f62fe22067 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -37,17 +37,23 @@ </row> <row> <entry><option>-fprint-explicit-foralls</option></entry> - <entry>print explicit <literal>forall</literal> quantification in types</entry> + <entry>Print explicit <literal>forall</literal> quantification in types. See also <option>-XExplicitForAll</option></entry> <entry>dynamic</entry> <entry>-fno-print-explicit-foralls</entry> </row> <row> <entry><option>-fprint-explicit-kinds</option></entry> - <entry>print explicit kind foralls and kind arguments in types</entry> + <entry>Print explicit kind foralls and kind arguments in types. See also <option>-XKindSignature</option></entry> <entry>dynamic</entry> <entry>-fno-print-explicit-kinds</entry> </row> <row> + <entry><option>-fprint-unicode-syntax</option></entry> + <entry>Use unicode syntax when printing expressions, types and kinds. See also <option>-XUnicodeSyntax</option></entry> + <entry>dynamic</entry> + <entry>-fno-print-unicode-syntax</entry> + </row> + <row> <entry><option>-ferror-spans</option></entry> <entry>output full span in error messages</entry> <entry>dynamic</entry> |