diff options
Diffstat (limited to 'docs/users_guide/exts/defer_type_errors.rst')
-rw-r--r-- | docs/users_guide/exts/defer_type_errors.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/exts/defer_type_errors.rst b/docs/users_guide/exts/defer_type_errors.rst index b60be4557d..6f2a871709 100644 --- a/docs/users_guide/exts/defer_type_errors.rst +++ b/docs/users_guide/exts/defer_type_errors.rst @@ -125,3 +125,8 @@ In a few cases, equality constraints cannot be deferred. Specifically: - Kind errors in a ``default`` declaration. e.g. :: default( Double, Int Int ) + +- Errors involving linear types (c.f. :ghc-ticket:`20083`). e.g. :: + + f :: a %1 -> a + f _ = () |