Issues · Glasgow Haskell Compiler / GHC · GitLab

Record update typing is wrong

#21158 · created Mar 03, 2022 by Simon Peyton Jones Plow Tbug typechecker
- 1
- 3
updated May 17, 2022
Typecheck record update via desugaring

#18802 · created Oct 05, 2020 by Simon Peyton Jones 9.6.1 Ttask TTG records typechecker
- 2
- 12
updated May 17, 2022
Record update is over-restrictive

#18311 · created Jun 08, 2020 by Simon Peyton Jones Pnormal Tbug records typechecker
- 2
- 2
updated May 17, 2022
Record updates for existential fields do not work + confusing error

#16501 · created Mar 26, 2019 by Iavor S. Diatchki ExistentialQuantification Tbug records
- 1
- 2
updated May 17, 2022
Record update doesn't emit new constraints

#10856 · created Sep 08, 2015 by Richard Eisenberg 5 Pnormal Tbug Trac import
- 1
- 4
updated May 17, 2022
Odd interaction between record update and type families

#10808 · created Aug 29, 2015 by Iavor S. Diatchki 5 Pnormal Tbug Trac import typechecker
- 1
- 1
updated May 17, 2022
lift restrictions on records with existential fields, especially in the presence of class constraints

#3632 · created Nov 02, 2009 by eflister 8.0.1 3 Plow Tfeature request Trac import records
- 1
- 9
updated May 17, 2022
Implement record update for existential and GADT data types

#2595 · created Sep 15, 2008 by Simon Peyton Jones 5 GADTs Pnormal Tfeature request Trac import
- 1
- 11
updated May 17, 2022
Avoid direct access to compiler state 15 of 30 tasks completed

#17957 · created Mar 24, 2020 by Sylvain Henry Pnormal Tfeature request
- 3
- 4
updated May 17, 2022
Back-end responsibilities are distributed throughout the compiler

#20927 · created Jan 10, 2022 by Norman Ramsey Ttask
- 1
- 39
updated May 17, 2022
Add residency profiling testing infrastructure to test suite

#21585 · created May 17, 2022 by Bryan R CI devops
- 0
updated May 17, 2022
Supported LLVM version not shown in manual

#21280 · created Mar 22, 2022 by Dominik Schrempf 9.2.3 Phigh Tbug documentation
- 0
updated May 17, 2022
Stack overflow / OOM with UndecidableSuperClasses in 9.2

#20836 · created Dec 17, 2021 by Brandon Chinn 9.2.2 Phigh Tbug incorrect runtime result runtime crash simplifier
- 8
updated May 17, 2022
mkCoCast panic in 9.2

#21130 · created Feb 24, 2022 by Krzysztof Gogolewski 9.2.2 Phigh Tbug TypeFamilies backport needed:9.2 compiler crash
- 4
- 3
updated May 17, 2022
Regression in interaction between type families and equality constraints

#21473 · created May 02, 2022 by KingoftheHomeless 9.2.3 Phigh Tbug backport needed:9.2 backport needed:9.4 program incorrectly rejected typechecker
- 2
updated May 17, 2022
Decay behaviour of -Fd flag may lead to thrashing

#21483 · created May 03, 2022 by Matthew Pickering 9.4.1 RTS Tbug runtime perf
- 1
- 6
updated May 17, 2022
GHC 9.4 panic on a representation-polymorphic newtype instance

#21544 · created May 10, 2022 by sheaf 9.4.1 Phigh Tbug TypeFamilies UnliftedNewtypes compiler crash representation polymorphism typechecker
- 14
updated May 17, 2022
GHC's new diagnostic infrastructure: remaining work 3 of 10 tasks completed

#19905 · created May 27, 2021 by Alfredo Di Napoli error messages
- 9
updated May 17, 2022
Convert diagnostics in `GHC.Iface.*` modules to proper `TcRnMessage`

#20114 · created Jul 14, 2021 by Alfredo Di Napoli Pnormal Ttask error messages newcomer
- 4
updated May 17, 2022
Poor error message with DuplicateRecordFields import

#17420 · created Oct 30, 2019 by Krzysztof Gogolewski OverloadedRecordFields Pnormal Tbug error messages records
- 2
- 0
updated May 17, 2022

Prev
1
2
3
4
5
6
7
8
…
242
Next