diff options
| author | Adam Gundry <adam@well-typed.com> | 2020-12-23 22:22:08 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-02-16 04:34:43 -0500 |
| commit | 2521b041bff00458cb2c84b8747ea60d6991e329 (patch) | |
| tree | 091e47028c452050ee46fcb70aa9a01186120c1e /testsuite/tests/overloadedrecflds/should_fail/T18999_NoDisambiguateRecordFields.hs | |
| parent | f422c12d26f183481ad8a833667cbfdd1c9b3e95 (diff) | |
| download | haskell-2521b041bff00458cb2c84b8747ea60d6991e329.tar.gz | |
Implement NoFieldSelectors extension (ghc-proposals 160)
Fixes #5972. This adds an extension NoFieldSelectors to disable the generation
of selector functions corresponding to record fields. When this extension is
enabled, record field selectors are not accessible as functions, but users are
still able to use them for record construction, pattern matching and updates.
See Note [NoFieldSelectors] in GHC.Rename.Env for details.
Defining the same field multiple times requires the DuplicateRecordFields
extension to be enabled, even when NoFieldSelectors is in use.
Along the way, this fixes the use of non-imported DuplicateRecordFields in GHCi
with -fimplicit-import-qualified (fixes #18729).
Moreover, it extends DisambiguateRecordFields to ignore non-fields when looking
up fields in record updates (fixes #18999), as described by
Note [DisambiguateRecordFields for updates].
Co-authored-by: Simon Hafner <hafnersimon@gmail.com>
Co-authored-by: Fumiaki Kinoshita <fumiexcel@gmail.com>
Diffstat (limited to 'testsuite/tests/overloadedrecflds/should_fail/T18999_NoDisambiguateRecordFields.hs')
| -rw-r--r-- | testsuite/tests/overloadedrecflds/should_fail/T18999_NoDisambiguateRecordFields.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/overloadedrecflds/should_fail/T18999_NoDisambiguateRecordFields.hs b/testsuite/tests/overloadedrecflds/should_fail/T18999_NoDisambiguateRecordFields.hs new file mode 100644 index 0000000000..2a78c20d13 --- /dev/null +++ b/testsuite/tests/overloadedrecflds/should_fail/T18999_NoDisambiguateRecordFields.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE NoFieldSelectors #-} +module T18999_NoDisambiguateRecordFields where + +data Foo = Foo { not :: Int } + +foo = Foo { not = 1 } -- ambiguous without DisambiguateRecordFields +x = not -- unambiguous because of NoFieldSelectors +y = foo { not = 2 } -- ambiguous without DisambiguateRecordFields |