diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-07-27 16:52:52 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-08-04 01:33:03 -0400 |
| commit | 2c714f07f4ab6823de50aaa4947e86326799f44f (patch) | |
| tree | b2fcf0005c23adc062b1ddd9e814aa743450cec9 /docs | |
| parent | 4f6726779fa3cbbfe97de49b1d26d5a665c74840 (diff) | |
| download | haskell-2c714f07f4ab6823de50aaa4947e86326799f44f.tar.gz | |
Disable -fdefer-type-errors for linear types (#20083)
Diffstat (limited to 'docs')
| -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 _ = () |