Issues · Glasgow Haskell Compiler / GHC · GitLab

lift restrictions on records with existential fields, especially in the presence of class constraints

#3632 · opened Nov 02, 2009 by eflister 8.0.1 3 Plow Tfeature request Trac import records
- 9
updated Oct 05, 2020
DuplicateRecordFields allows duplicate record fields in the same record - and is unsound!

#19287 · opened Jan 30, 2021 by wz1000 9.2.1 OverloadedRecordFields Tbug program incorrectly accepted records renamer
- 2
- 5
updated Feb 16, 2021
Inconsistent multiple declarations error in Template Haskell quotations

#19664 · opened Apr 07, 2021 by Jaro Reinders OverloadedRecordFields Plow Tbug TemplateHaskell records
- 1
- 8
updated Apr 10, 2021
:info for record pattern synonyms

#19462 · opened Feb 28, 2021 by Adam Gundry GHCi Pnormal PatternSynonyms Tbug records
- 1
updated Mar 01, 2021
Unbound record/field names in Template Haskell Quotes

#19312 · opened Feb 03, 2021 by Adam Gundry Pnormal Tbug TemplateHaskell program incorrectly rejected records
- 4
updated Apr 07, 2021
Types with different forall placements don't unify with QL ImpredicativeTypes

#18759 · opened Sep 28, 2020 by Andrzej Rybczak FunctionalDependencies ImpredicativeTypes Pnormal Tbug program incorrectly rejected records
- 53
updated Dec 31, 2020
Record update is over-restrictive

#18311 · opened Jun 08, 2020 by Simon Peyton Jones Pnormal Tbug records typechecker
- 0
updated Oct 05, 2020
Incorrect diagnostic for illegal record syntax when the field is used

#17818 · opened Feb 11, 2020 by dminuoso Pnormal Tbug 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 Tbug error messages records
- 1
updated Dec 03, 2020
Poor error message with DuplicateRecordFields import

#17420 · opened Oct 30, 2019 by Krzysztof Gogolewski OverloadedRecordFields Pnormal Tbug 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 Tbug records
- 2
updated Oct 05, 2020
ghci :browse does not work with DuplicateRecordFields

#13438 · opened Mar 17, 2017 by Rik van der Kleij 5 GHCi OverloadedRecordFields Pnormal Tbug Trac import records
- 3
updated Feb 28, 2021
Record pattern synonym fields have to be manually exported

#13307 · opened Feb 20, 2017 by Ollie Charles 5 Pnormal PatternSynonyms Tbug Trac import records
- 8
updated Apr 02, 2021
Representation of field selector occurrences

#19720 · opened Apr 18, 2021 by Shayne Fletcher OverloadedRecordFields Ttask records
- 1
updated Apr 18, 2021
Refactor RecordUpd

#19463 · opened Feb 28, 2021 by Shayne Fletcher OverloadedRecordFields Ttask records
- 7
updated Apr 18, 2021
Remove AmbiguousFieldOcc

#19461 · opened Feb 28, 2021 by Adam Gundry OverloadedRecordFields Ttask records
- 1
- 0
updated Apr 18, 2021
Typecheck record update via desugaring

#18802 · opened Oct 05, 2020 by Simon Peyton Jones Ttask records typechecker
- 2
updated Oct 05, 2020
Include field type in missing field error message

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

#18811 · opened Oct 06, 2020 by Andreas Klebinger Research needed Plow Tfeature request records
- 3
updated Oct 06, 2020
Improve "No instance for HasField" error messages

#18776 · opened Sep 30, 2020 by Adam Gundry OverloadedRecordFields Tfeature request error messages records
- 4
- 0
updated Dec 02, 2020