Issues · Glasgow Haskell Compiler / GHC · GitLab

Refactor RecordUpd

#19463 · opened Feb 28, 2021 by Shayne Fletcher OverloadedRecordFields records task
- 0
updated Mar 01, 2021
:info for record pattern synonyms

#19462 · opened Feb 28, 2021 by Adam Gundry GHCi Pnormal PatternSynonyms bug records
- 1
updated Mar 01, 2021
Remove AmbiguousFieldOcc

#19461 · opened Feb 28, 2021 by Adam Gundry OverloadedRecordFields records task
- 1
- 0
updated Mar 01, 2021
Unbound record/field names in Template Haskell Quotes

#19312 · opened Feb 03, 2021 by Adam Gundry Pnormal TemplateHaskell bug program incorrectly rejected records
- 4
updated Feb 16, 2021
DuplicateRecordFields allows duplicate record fields in the same record - and is unsound!

#19287 · opened Jan 30, 2021 by wz1000 9.2.1 OverloadedRecordFields bug program incorrectly accepted records renamer
- 2
- 5
updated Feb 16, 2021
DisambiguateRecordFields should cover record updates

#18999 · opened Nov 26, 2020 by Adam Gundry OverloadedRecordFields bug program incorrectly rejected records renamer
- CLOSED
- 2
- 8
updated Feb 16, 2021
Implement -Wambiguous-fields

#18966 · opened Nov 18, 2020 by Adam Gundry OverloadedRecordFields ghc proposal records
- CLOSED
- 8
- 0
updated Feb 28, 2021
Include field type in missing field error message

#18869 · opened Oct 20, 2020 by parsonsmatt Pnormal error messages feature request records
- 1
- 10
updated Jan 18, 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
Core Lint error when using record update with GADT in data family

#18809 · opened Oct 06, 2020 by Adam Gundry TypeFamilies bug needs triage program incorrectly rejected records
- CLOSED
- 5
- 3
updated Oct 13, 2020
GHC.Rename.Env.extendPatSynEnv does not generate AvailTC

#18803 · opened Oct 05, 2020 by Fumiaki Kinoshita bug needs triage records
- CLOSED
- 3
updated Oct 05, 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
DuplicateRecordFields for different constructors in one type

#18737 · opened Sep 22, 2020 by Yuriy Syrovetskiy OverloadedRecordFields feature request needs triage records
- CLOSED
- 3
updated Sep 24, 2020
-fimplicit-import-qualified is broken with DuplicateRecordFields

#18729 · opened Sep 21, 2020 by Adam Gundry GHCi OverloadedRecordFields bug records
- CLOSED
- 2
- 1
updated Feb 16, 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 9.2.1 OverloadedRecordFields ghc proposal records
- 10
- 1
updated Feb 09, 2021
Overloaded record fields meta-ticket 3 of 5 tasks completed

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

#18570 · opened Aug 12, 2020 by Krzysztof Gogolewski LinearTypes records
- 0
updated Oct 01, 2020

Prev
1
2
3
Next