diff options
Diffstat (limited to 'docs/users_guide/exts/defer_type_errors.rst')
-rw-r--r-- | docs/users_guide/exts/defer_type_errors.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/users_guide/exts/defer_type_errors.rst b/docs/users_guide/exts/defer_type_errors.rst index 8d502d3708..a2647fc9ef 100644 --- a/docs/users_guide/exts/defer_type_errors.rst +++ b/docs/users_guide/exts/defer_type_errors.rst @@ -3,6 +3,8 @@ Deferring type errors to runtime ================================ +Since GHC 7.6.1. + While developing, sometimes it is desirable to allow compilation to succeed even if there are type errors in the code. Consider the following case: :: |