Issues · Glasgow Haskell Compiler / GHC · GitLab

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
Overloaded record fields meta-ticket 4 of 5 tasks completed

#18598 · opened Aug 21, 2020 by Adam Gundry OverloadedRecordFields ghc proposal records renamer
- 3
- 3
updated Apr 18, 2021
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
Remove AmbiguousFieldOcc

#19461 · opened Feb 28, 2021 by Adam Gundry OverloadedRecordFields Ttask records
- 1
- 0
updated Apr 18, 2021
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
Support RecordWildCards in HPC

#17834 · opened Feb 13, 2020 by Brandon Chinn HPC RecordWildCards Tfeature request records
- 1
- 1
updated Jun 29, 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
Representation of field selector occurrences

#19720 · opened Apr 18, 2021 by Shayne Fletcher OverloadedRecordFields Ttask records
- 1
updated Apr 18, 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
Refactor RecordUpd

#19463 · opened Feb 28, 2021 by Shayne Fletcher OverloadedRecordFields Ttask records
- 10
updated Apr 20, 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
Allow pragmas on field selectors.

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

#18802 · opened Oct 05, 2020 by Simon Peyton Jones Ttask records typechecker
- 2
updated Oct 05, 2020
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
Warning for partial solutions to HasField constraints

#18650 · opened Sep 04, 2020 by Adam Gundry OverloadedRecordFields Tfeature request error messages records
- 9
updated Sep 18, 2020
Linear types: projections of records

#18570 · opened Aug 12, 2020 by Krzysztof Gogolewski LinearTypes records
- 0
updated Oct 01, 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