diff options
Diffstat (limited to 'docs/users_guide/glasgow_exts.xml')
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 462509290a..95f814f0d0 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -9182,7 +9182,8 @@ main = print "b" <para> The flag <literal>-fdefer-type-errors</literal> controls whether type errors are deferred to runtime. Type errors will still be emitted as - warnings, but will not prevent compilation. + warnings, but will not prevent compilation. You can use + <literal>-fno-warn-deferred-type-errors</literal> to suppress these warnings. </para> <para> This flag implies the <literal>-fdefer-typed-holes</literal> flag, |