Issues · Glasgow Haskell Compiler / GHC · GitLab

Linear types: projections of records

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

#18452 · opened Jul 14, 2020 by Simon Peyton Jones Pnormal PatternSynonyms bug records
- 5
updated Jul 17, 2020
Record update is over-restrictive

#18311 · opened Jun 08, 2020 by Simon Peyton Jones Pnormal bug records typechecker
- 0
updated Jul 18, 2020
Field selector types bungle the order (and specificites) of type variables

#18023 · opened Apr 06, 2020 by Ryan Scott 9.0.1 GADTs Pnormal bug records
- CLOSED
- 2
- 2
updated Apr 12, 2020
Sufficiently higher-rank record selectors fail to typecheck

#18005 · opened Apr 02, 2020 by Ryan Scott 9.0.1 PatternSynonyms RankNTypes records
- CLOSED
- 2
- 4
updated Apr 04, 2020
DuplicateRecordFields fails compilation depending on the order of declarations

#17965 · opened Mar 26, 2020 by Facundo Domínguez 8.10.2 OverloadedRecordFields Pnormal backport needed:8.10 bug program incorrectly accepted records renamer
- 5
- 4
updated Jun 04, 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
Poor error message with DuplicateRecordFields import

#17420 · opened Oct 30, 2019 by Krzysztof Gogolewski OverloadedRecordFields Pnormal bug error messages records
- 1
- 0
updated Feb 17, 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 Apr 02, 2019
Add setField to HasField

#16232 · opened Jan 24, 2019 by Adam Gundry OverloadedRecordFields Pnormal Trac import feature request ghc proposal records typechecker 5
- 5
updated May 09, 2020
Move field name resolution to the type-checker

#15277 · opened Jun 15, 2018 by Adam Gundry OverloadedRecordFields Pnormal Trac import records task typechecker 5
- 1
updated Jan 23, 2020
Initializing record with similarly named field from a different record results in warning rather than error

#14783 · opened Feb 09, 2018 by ulrikrasmussen 8.2.3 OverloadedRecordFields Pnormal Trac import bug records 5
- CLOSED
- 5
updated Jul 07, 2019
RecordWildCards doesn't work properly in repl

#14549 · opened Dec 01, 2017 by akegalj GHCi Plow RecordWildCards Trac import bug incorrect runtime result records 0
- CLOSED
- 2
updated Jul 07, 2019
Can't Hide Field When DuplicateRecordFields Is Enabled

#14487 · opened Nov 19, 2017 by iansullivan88 8.6.1 OverloadedRecordFields Plow Trac import bug records 0
- CLOSED
- 4
updated Jul 07, 2019
ghci :browse does not work with DuplicateRecordFields

#13438 · opened Mar 17, 2017 by rik GHCi Pnormal Trac import bug records 5
- 3
updated Jul 07, 2019
UnboxedTuple makes overloaded labels fail to parse

#12459 · opened Aug 04, 2016 by Icelandjack 8.2.1 OverloadedRecordFields Pnormal Trac import bug documentation parser records 5
- CLOSED
- 10
updated Jul 07, 2019
Template Haskell record splices are not renamer-resolved correctly.

#11809 · opened Apr 07, 2016 by bollmann 8.0.1 Pnormal TemplateHaskell Trac import bug records 5
- CLOSED
- 2
updated Jul 07, 2019
Interaction between ORF and record pattern synonyms needs to be resolved.

#11228 · opened Dec 15, 2015 by Matthew Pickering OverloadedRecordFields Pnormal PatternSynonyms Trac import bug records 5
- 1
- 6
updated Jul 15, 2020
Interaction between ORF and record pattern synonyms needs to be resolved.

#11227 · opened Dec 15, 2015 by Matthew Pickering OverloadedRecordFields Pnormal PatternSynonyms Trac import bug records 5
- CLOSED
- 1
updated Jul 07, 2019