Issues · Glasgow Haskell Compiler / GHC · GitLab

RecordWildCards undocumented behavior

#20193 · created Aug 02, 2021 by Yuriy Syrovetskiy Pnormal RecordWildCards Tbug documentation error messages records
- 11
updated Aug 16, 2021
Should we allow a newtype with a representation-polymorphic field with NoFieldSelectors?

#20113 · created Jul 14, 2021 by sheaf Plow Tfeature request UnliftedNewtypes program incorrectly rejected records representation polymorphism
- 6
updated Jul 16, 2021
Inconsistent multiple declarations error in Template Haskell quotations

#19664 · created Apr 07, 2021 by Jaro Reinders OverloadedRecordFields Plow Tbug TemplateHaskell records
- 8
updated Apr 10, 2021
Refactor RecordUpd

#19463 · created Feb 28, 2021 by Shayne Fletcher OverloadedRecordFields Ttask records
- 13
updated May 15, 2021
Remove AmbiguousFieldOcc

#19461 · created Feb 28, 2021 by Adam Gundry OverloadedRecordFields Ttask records
- 1
- 0
updated May 23, 2021
Unbound record/field names in Template Haskell Quotes

#19312 · created Feb 03, 2021 by Adam Gundry Pnormal Tbug TemplateHaskell program incorrectly rejected records
- 4
updated Apr 07, 2021
Include field type in missing field error message

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

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

#18802 · created Oct 05, 2020 by Simon Peyton Jones Ttask records typechecker
- 1
- 9
updated Jan 11, 2022
Improve "No instance for HasField" error messages

#18776 · created Sep 30, 2020 by Adam Gundry OverloadedRecordFields Tfeature request error messages records
- 4
- 0
updated Jun 11, 2021
Types with different forall placements don't unify with QL ImpredicativeTypes

#18759 · created Sep 28, 2020 by Andrzej Rybczak FunctionalDependencies ImpredicativeTypes Pnormal Tbug program incorrectly rejected records
- 53
updated Jan 13, 2022
Warning for partial solutions to HasField constraints

#18650 · created Sep 04, 2020 by Adam Gundry OverloadedRecordFields Tfeature request error messages records
- 10
updated Nov 08, 2021
Overloaded record fields meta-ticket 4 of 5 tasks completed

#18598 · created Aug 21, 2020 by Adam Gundry OverloadedRecordFields ghc proposal records renamer
- 3
- 3
updated Jun 11, 2021
Linear types: projections of records

#18570 · created Aug 12, 2020 by Krzysztof Gogolewski LinearTypes records
- 0
updated Oct 01, 2020
Record update is over-restrictive

#18311 · created Jun 08, 2020 by Simon Peyton Jones Pnormal Tbug records typechecker
- 1
- 2
updated Dec 07, 2021
Support RecordWildCards in HPC

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

#17818 · created 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 · created Nov 12, 2019 by Yuji Yamamoto OverloadedRecordFields Pnormal Tbug error messages records
- 1
- 4
updated Jan 18, 2022
Poor error message with DuplicateRecordFields import

#17420 · created 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 · created Mar 26, 2019 by Iavor S. Diatchki ExistentialQuantification Tbug records
- 2
updated Oct 05, 2020