Issues · Glasgow Haskell Compiler / GHC · GitLab

DisambiguateRecordFields should cover record updates

#18999 · opened Nov 26, 2020 by Adam Gundry OverloadedRecordFields bug program incorrectly rejected records renamer
- 1
- 7
updated Jan 07, 2021
Implement -Wambiguous-fields

#18966 · opened Nov 18, 2020 by Adam Gundry OverloadedRecordFields ghc proposal records
- 1
- 0
updated Jan 08, 2021
Include field type in missing field error message

#18869 · opened Oct 20, 2020 by parsonsmatt Pnormal error messages feature request records
- 1
- 7
updated Jan 16, 2021
Allow pragmas on field selectors.

#18811 · opened Oct 06, 2020 by Andreas Klebinger Research needed Plow feature request records
- 3
updated Oct 06, 2020
Typecheck record update via desugaring

#18802 · opened Oct 05, 2020 by Simon Peyton Jones records task typechecker
- 2
updated Oct 05, 2020
Improve "No instance for HasField" error messages

#18776 · opened Sep 30, 2020 by Adam Gundry OverloadedRecordFields error messages feature request records
- 4
- 0
updated Dec 02, 2020
Types with different forall placements don't unify with QL ImpredicativeTypes

#18759 · opened Sep 28, 2020 by Andrzej Rybczak FunctionalDependencies ImpredicativeTypes Pnormal bug program incorrectly rejected records
- 53
updated Dec 31, 2020
-fimplicit-import-qualified is broken with DuplicateRecordFields

#18729 · opened Sep 21, 2020 by Adam Gundry GHCi OverloadedRecordFields bug records
- 1
- 0
updated Jan 06, 2021
Warning for partial solutions to HasField constraints

#18650 · opened Sep 04, 2020 by Adam Gundry OverloadedRecordFields error messages feature request records
- 9
updated Sep 18, 2020
Implement "record dot syntax"

#18599 · opened Aug 23, 2020 by Shayne Fletcher OverloadedRecordFields ghc proposal records
- 8
- 1
updated Oct 25, 2020
Overloaded record fields meta-ticket 1 of 5 tasks completed

#18598 · opened Aug 21, 2020 by Adam Gundry OverloadedRecordFields ghc proposal records renamer
- 2
- 3
updated Jan 08, 2021
Linear types: projections of records

#18570 · opened Aug 12, 2020 by Krzysztof Gogolewski LinearTypes records
- 0
updated Oct 01, 2020
Pattern synonyms and record selectors

#18452 · opened Jul 14, 2020 by Simon Peyton Jones 9.2.1 Pnormal PatternSynonyms bug records
- 1
- 11
updated Jan 14, 2021
Record update is over-restrictive

#18311 · opened Jun 08, 2020 by Simon Peyton Jones Pnormal bug records typechecker
- 0
updated Oct 05, 2020
Support RecordWildCards in HPC

#17834 · opened Feb 13, 2020 by Brandon Chinn HPC RecordWildCards feature request records
- 1
- 1
updated Jun 29, 2020
Incorrect diagnostic for illegal record syntax when the field is used

#17818 · opened Feb 11, 2020 by dminuoso Pnormal bug parser records
- 2
updated Feb 24, 2020
Improve error message when non-existent (and duplicate) labels are given to a value constructor

#17469 · opened Nov 12, 2019 by Yuji Yamamoto OverloadedRecordFields Pnormal bug error messages records
- 1
updated Dec 03, 2020
Poor error message with DuplicateRecordFields import

#17420 · opened Oct 30, 2019 by Krzysztof Gogolewski OverloadedRecordFields Pnormal bug error messages records
- 1
- 0
updated Dec 03, 2020
Record updates for existential fields do not work + confusing error

#16501 · opened Mar 26, 2019 by Iavor S. Diatchki ExistentialQuantification bug records
- 2
updated Oct 05, 2020
Add setField to HasField

#16232 · opened Jan 24, 2019 by Adam Gundry 5 OverloadedRecordFields Pnormal Trac import feature request ghc proposal records typechecker
- 5
updated Nov 06, 2020