Issues · Glasgow Haskell Compiler / GHC · GitLab

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
Extensible Records

#1866 · opened Nov 11, 2007 by gidyn 6.10 branch Pnormal Trac import feature request records 5
- CLOSED
- 3
updated Jul 07, 2019
Extensible Records

#1872 · opened Nov 11, 2007 by gidyn Pnormal Trac import feature request records 5
- CLOSED
- 8
updated Jul 07, 2019
Runtime error with RecordWildCards and a non-record constructor

#9815 · opened Nov 20, 2014 by takano-akio Pnormal RecordWildCards Trac import error messages feature request records 5
- CLOSED
- 2
updated Jul 07, 2019
RecordWildcards and PatternSynonyms cause impossible bug

#9975 · opened Jan 11, 2015 by gamegoblin 7.10.1 Pnormal PatternSynonyms RecordWildCards Trac import bug compiler crash records 5
- CLOSED
- 7
updated Jul 07, 2019
RecordWildCards causes “is not a (visible) field of constructor” in ghci

#10520 · opened Jun 14, 2015 by ion1 8.0.1 GHCi Pnormal RecordWildCards Trac import bug records 5
- CLOSED
- 2
updated Jul 07, 2019
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
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
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
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
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
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