diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2021-06-01 15:46:49 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-02 04:41:08 -0400 |
| commit | 7d8e1549b908ebb67bfa47d782914fe364e7015d (patch) | |
| tree | 0679b01524057805873af4a9c3217556bcd024dd /.ghcid | |
| parent | c5a9e32ee0b372c2a044bce0e9009dcff21ee909 (diff) | |
| download | haskell-7d8e1549b908ebb67bfa47d782914fe364e7015d.tar.gz | |
Disallow linear arrows in GADT records (#19928)
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 '.ghcid')
0 files changed, 0 insertions, 0 deletions