diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2021-06-01 15:46:49 +0300 |
|---|---|---|
| committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2021-06-01 15:48:16 +0300 |
| commit | 00a32614dd6af3221b1df8320a25152ffe9f57c3 (patch) | |
| tree | 98f4ffb2fd468b8a11488aa1f9765ba0114b43c8 /docs/vh | |
| parent | 6db8a0f76ec45d47060e28bb303e9eef60bdb16b (diff) | |
| download | haskell-wip/t19928.tar.gz | |
Disallow linear arrows in GADT records (#19928)wip/t19928
Before this patch, GHC used to silently accept programs such as the
following:
data R where
D1 :: { d1 :: Int } %1 -> R
The %1 annotation was completely ignored. Now it is a proper error.
One remaining issue is that in the error message (⊸) turns
into (%1 ->). This is to be corrected with upcoming exactprint updates.
Diffstat (limited to 'docs/vh')
0 files changed, 0 insertions, 0 deletions