Issues · Glasgow Haskell Compiler / GHC · GitLab

Exponential blowup in T9198 (regresssion from 8.10 and 9.0)

#19668 · created Apr 08, 2021 by vdukhovni 9.2.1 Phigh compiler perf typechecker
- CLOSED
- 19
updated Oct 11, 2021
GHC does not rewrite in FunTy

#19677 · created Apr 09, 2021 by Richard Eisenberg Pnormal Tbug TypeInType constraint solver program incorrectly rejected representation polymorphism typechecker
- CLOSED
- 3
- 0
updated Feb 21, 2022
Constraint solver regression in 9.2

#19682 · created Apr 10, 2021 by Andres Löh 9.2.1 Phigh Tbug constraint solver typechecker
- CLOSED
- 5
- 6
updated Jul 28, 2021
GHC 9.0+ fails to combine levity-polymorphic newtype constructor with TypeApplications

#19728 · created Apr 22, 2021 by Ryan Scott Phighest Tbug TypeApplications UnliftedNewtypes program incorrectly rejected representation polymorphism typechecker
- CLOSED
- 2
updated Apr 22, 2021
Degradation in error message clarity for ` GHC.TypeNats.<=?`

#20009 · created Jun 17, 2021 by Christiaan Baaij Phigh Tbug constraint solver error messages type literals typechecker
- CLOSED
- 9
- 5
updated Oct 27, 2021
No skolem info panic involving typed hole

#20063 · created Jun 29, 2021 by sheaf No skolem info Pnormal Tbug compiler crash typechecker typed holes
- CLOSED
- 3
updated Mar 22, 2022
Use a specific Reduction datatype instead of `(Type,Coercion)`

#20161 · created Jul 25, 2021 by sheaf Coercions Plow Ttask typechecker
- CLOSED
- 2
- 0
updated Aug 05, 2021
Deferred type errors are too lazy, and can be dropped by Core optimisations

#20227 · created Aug 12, 2021 by sheaf Tbug constraint solver deferred type errors typechecker
- CLOSED
- 9
updated Aug 14, 2021
mightEqualLater finds an unbound cbv

#20231 · created Aug 14, 2021 by YellPika 9.2.2 Phigh Tbug typechecker
- CLOSED
- 2
- 9
updated May 09, 2022
Representation-polymorphic unboxed sum causes a panic

#20277 · created Aug 24, 2021 by sheaf Pnormal Tbug compiler crash representation polymorphism typechecker
- CLOSED
- 3
- 2
updated Oct 18, 2021
Representation-polymorphism checks for primops check too many arguments

#20330 · created Sep 03, 2021 by sheaf Pnormal Tbug program incorrectly rejected representation polymorphism typechecker
- CLOSED
- 3
- 0
updated Oct 18, 2021
Constraint-vs-Type causes a panic

#20356 · created Sep 10, 2021 by Richard Eisenberg Pnormal Tbug TypeInType compiler crash typechecker
- CLOSED
- 4
- 1
updated Oct 22, 2021
Newtype over fully applied Levity Polymorphic Type family gives Levity Polymorphism error

#20363 · created Sep 12, 2021 by Tarmean Pnormal Tbug representation polymorphism typechecker
- CLOSED
- 5
updated Mar 14, 2022
Backpack does not support -ddump-tc-trace

#20396 · created Sep 20, 2021 by sheaf Plow Tbug backpack debug information developer experience driver typechecker
- CLOSED
- 3
- 0
updated Oct 14, 2021
Make `eqTypeIO` that sees through type families

#20408 · created Sep 22, 2021 by Ziyang Liu Pnormal Tquestion constraint solver plugins typechecker
- CLOSED
- 13
updated Oct 04, 2021
Type application in patterns ignores inferredness of type variables

#20443 · created Sep 29, 2021 by Jakob Brünker 9.4.1 ScopedTypeVariables Tbug TypeApplications typechecker
- CLOSED
- 2
- 1
updated Oct 19, 2021
Panic in pprMatch when "deriving Foldable" is used with -ddump-tc-trace

#20496 · created Oct 08, 2021 by Artyom Kuznetsov 9.4.1 Phigh compiler crash pretty printing typechecker
- CLOSED
- 5
updated Oct 28, 2021
GHC 9.2 rejects certain poly-kinded unlifted newtype instances

#20527 · created Oct 19, 2021 by sheaf 9.2.1 Pnormal PolyKinds Tbug TypeApplications TypeFamilies UnliftedNewtypes program incorrectly rejected typechecker
- CLOSED
- 2
- 10
updated Feb 13, 2022
Redundant-constraints warning complains about the wrong constraint

#20602 · created Nov 02, 2021 by Richard Eisenberg 9.4.1 Pnormal Tbug constraint solver error messages typechecker
- CLOSED
- 4
- 0
updated May 25, 2022
ImpredicativeTypes vs. do notation

#20651 · created Nov 09, 2021 by David Feuer ImpredicativeTypes typechecker
- CLOSED
- 1
updated Nov 09, 2021
decideMonoTyVars should take injectivity into account

#20668 · created Nov 11, 2021 by Richard Eisenberg Pnormal Tbug typechecker
- CLOSED
- 3
- 0
updated Feb 23, 2022
[regression] ghc 9.2.1 complains about "Uninferrable type variables" that ghc 9.0.1 can infer fine

#20675 · created Nov 12, 2021 by JasonGross Pnormal PolyKinds Ttask documentation typechecker
- CLOSED
- 5
updated Nov 15, 2021
Using type-aliases in kind signatures requires DataKinds

#20873 · created Dec 26, 2021 by Oleg Grenrus DataKinds Plow Tbug typechecker
- CLOSED
- 6
- 3
updated Jan 12, 2022
Allow Well-Founded Recursion in Data Type Kinds

#20885 · created Dec 29, 2021 by Andrew Martin Research needed 1 GADTs Pnormal Tfeature request typechecker
- CLOSED
- 5
updated Jan 05, 2022
GHC 9.2 creates an unsafe coercion between a boxed and an unboxed type

#20894 · created Dec 31, 2021 by sheaf 9.2.2 Coercions Phigh Tbug typechecker
- CLOSED
- 6
updated Feb 09, 2022
GHC accepts two names for the same kind variable

#20916 · created Jan 07, 2022 by Simon Peyton Jones Pnormal StandaloneKindSignatures Tbug program incorrectly accepted typechecker
- CLOSED
- 1
- 4
updated Mar 22, 2022
Regression in ambiguity checking for partial type signatures in GHC 9.2

#20921 · created Jan 09, 2022 by sheaf 9.2.2 Phigh Tbug ambiguity check partial type sigs typechecker
- CLOSED
- 9
updated Feb 21, 2022
Constructors applied to type variables behave differently starting on GHC 9.2

#20922 · created Jan 09, 2022 by sheaf 9.2.2 Pnormal Tbug TypeApplications typechecker
- CLOSED
- 3
- 6
updated Feb 23, 2022
Different error with representation-polymorphic binder

#20929 · created Jan 10, 2022 by Krzysztof Gogolewski Plow Ttask error messages typechecker
- CLOSED
- 3
updated Feb 03, 2022
Inconsistent tidying of implications

#20932 · created Jan 11, 2022 by Simon Peyton Jones Phigh Tbug typechecker
- CLOSED
- 4
- 4
updated Feb 06, 2022
matchInstEnv accounts for 50% of typechecker time

#20933 · created Jan 11, 2022 by Matthew Pickering Pnormal Tbug compiler perf typechecker
- CLOSED
- 2
- 14
updated Feb 09, 2022
Use ConcreteTv for metavariables that must only be unified with concrete types

#20972 · created Jan 20, 2022 by sheaf Pnormal Tbug representation polymorphism typechecker
- CLOSED
- 2
updated Apr 14, 2022
GHCi >= 9.2.1 prints type signatures containing type families in an ugly way

#20974 · created Jan 20, 2022 by Andrzej Rybczak 9.2.2 GHCi Pnormal Tbug pretty printing typechecker
- CLOSED
- 3
- 13
updated May 20, 2022
Unhelpful Kind equality error at the start of file

#21006 · created Jan 26, 2022 by Jkensik Pnormal QuantifiedConstraints error messages typechecker
- CLOSED
- 1
- 5
updated Jan 28, 2022
ASSERTION failure when building subcategories

#21010 · created Jan 26, 2022 by Matthew Pickering Coercible Plow typechecker
- CLOSED
- 4
- 4
updated Feb 08, 2022
MonoLocalBinds sometimes monomorphises *global* binds

#21023 · created Jan 30, 2022 by Richard Eisenberg MonomorphismRestriction Pnormal Tfeature request typechecker
- CLOSED
- 2
- 2
updated Mar 07, 2022
GHC 9.2.1 typechecking regression with RankNTypes and TemplateHaskell

#21038 · created Feb 03, 2022 by Ryan Scott 9.2.2 Phighest RankNTypes Tbug TemplateHaskell typechecker
- CLOSED
- 4
- 9
updated Feb 14, 2022
Curious kind-checking failure with GHC 9.2.1 and visible dependent quantification

#21040 · created Feb 03, 2022 by Ryan Scott PolyKinds typechecker visible dependent quantification
- CLOSED
- 2
updated Feb 04, 2022
Inconsistent instantiation of inferred type variables when they don't all come first

#21088 · created Feb 16, 2022 by sheaf GHCi Plow Tbug typechecker
- CLOSED
- 3
- 1
updated Mar 03, 2022
Definition of heterogeneous equality rejected unless using a SAKS

#21126 · created Feb 23, 2022 by sheaf 9.4.1 CUSKs GADTs Pnormal StandaloneKindSignatures Ttask documentation typechecker
- CLOSED
- 6
updated Apr 07, 2022
Unfoldings in interface files are sucked in too eagerly

#21139 · created Feb 25, 2022 by Simon Peyton Jones Pnormal Tbug typechecker
- CLOSED
- 1
- 1
updated Feb 26, 2022
Record update typing is wrong

#21158 · created Mar 03, 2022 by Simon Peyton Jones Plow Tbug typechecker
- CLOSED
- 2
- 4
updated May 26, 2022
(GHC 9.2.2) Impossible happened...

#21199 · created Mar 08, 2022 by Adam Conner-Sax 9.2.3 Pnormal Tbug backport needed:9.2 typechecker
- CLOSED
- 2
updated Mar 08, 2022
GHC doesn't notice some overlapping instances (regression)

#21208 · created Mar 09, 2022 by Richard Eisenberg 9.2.3 Phigh Tbug program incorrectly accepted regression typechecker
- CLOSED
- 16
- 1
- 6
updated Mar 28, 2022
Quantified constraint blocks functional dependency

#21209 · created Mar 09, 2022 by Richard Eisenberg FunctionalDependencies Plow QuantifiedConstraints Tbug typechecker
- CLOSED
- 3
updated Mar 25, 2022
Add syntactic equality relation

#21239 · created Mar 16, 2022 by sheaf Pnormal Ttask constraint solver representation polymorphism typechecker
- CLOSED
- 9
- 5
updated Apr 28, 2022
Type-changing record update ignores type families

#21289 · created Mar 24, 2022 by Richard Eisenberg Pnormal Tbug TypeFamilies records typechecker
- CLOSED
- 2
- 4
updated May 26, 2022
decideMonoTyVars doesn't handle coercion variables in "candidates"

#21404 · created Apr 19, 2022 by sheaf Pnormal Tquestion defaulting representation polymorphism typechecker
- CLOSED
- 4
- 3
updated Apr 27, 2022
Assertion in reportWanteds is too strict

#21405 · created Apr 20, 2022 by sheaf Pnormal Tbug error messages typechecker
- CLOSED
- 3
- 2
updated Apr 27, 2022
GHC panic

#21479 · created May 03, 2022 by Icelandjack 9.2.3 Pnormal Tbug compiler crash typechecker
- CLOSED
- 2
- 5
updated May 19, 2022
TypeInType is marked as deprecated but has no warning on usage.

#21500 · created May 04, 2022 by Trevis Elser Pnormal Tbug typechecker
- CLOSED
- 1
updated May 05, 2022
ghc.exe: panic! (the 'impossible' happened) using a data family in GHC 9.0.1

#21581 · created May 16, 2022 by UltimateDude101 No skolem info Pnormal Tbug typechecker
- CLOSED
- 2
updated May 18, 2022

Prev
1
…
7
8
9
10
11
Next