Issues · Glasgow Haskell Compiler / GHC · GitLab

Implement -Wambiguous-fields

#18966 · opened Nov 18, 2020 by Adam Gundry OverloadedRecordFields ghc proposal records
- CLOSED
- 8
- 0
updated Feb 28, 2021
Interaction between ORF and record pattern synonyms needs to be resolved.

#11228 · opened Dec 15, 2015 by Matthew Pickering 9.2.1 5 OverloadedRecordFields Pnormal PatternSynonyms Trac import bug records
- CLOSED
- 2
- 1
- 10
updated Feb 28, 2021
option to suppress (Monomorphic) record selector functions

#5972 · opened Mar 27, 2012 by AntC 9.2.1 5 Pnormal Trac import feature request ghc proposal records
- CLOSED
- 2
- 21
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
-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
Pattern synonyms and record selectors

#18452 · opened Jul 14, 2020 by Simon Peyton Jones 9.2.1 Pnormal PatternSynonyms bug records
- CLOSED
- 1
- 12
updated Jan 26, 2021
Move field name resolution to the type-checker

#15277 · opened Jun 15, 2018 by Adam Gundry 5 OverloadedRecordFields Pnormal Trac import records task typechecker
- CLOSED
- 1
- 2
updated Dec 03, 2020
Unable to infer type when using DuplicateRecordFields

#11343 · opened Jan 03, 2016 by Matthew Pickering 5 OverloadedRecordFields Pnormal Trac import feature request records typechecker
- CLOSED
- 1
- 11
updated Nov 18, 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
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
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
- CLOSED
- 6
- 5
updated Aug 21, 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
Extensible Records

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

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

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

#9975 · opened Jan 11, 2015 by gamegoblin 7.10.1 5 Pnormal PatternSynonyms RecordWildCards Trac import bug compiler crash records
- 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 5 GHCi Pnormal RecordWildCards Trac import bug records
- 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 5 OverloadedRecordFields Pnormal PatternSynonyms Trac import bug records
- CLOSED
- 1
updated Jul 07, 2019