Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
325
Closed
1,052
All
1,377
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
Current
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Manual
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Exponential blowup in T9198 (regresssion from 8.10 and 9.0)
#19668
· created
Apr 08, 2021
by
vdukhovni
9.2.1
P
high
compiler perf
typechecker
CLOSED
19
updated
Oct 11, 2021
GHC does not rewrite in FunTy
#19677
· created
Apr 09, 2021
by
Richard Eisenberg
P
normal
T
bug
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
P
high
T
bug
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
P
highest
T
bug
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
P
high
T
bug
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
P
normal
T
bug
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
P
low
T
task
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
T
bug
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
P
high
T
bug
typechecker
CLOSED
2
9
updated
May 09, 2022
Representation-polymorphic unboxed sum causes a panic
#20277
· created
Aug 24, 2021
by
sheaf
P
normal
T
bug
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
P
normal
T
bug
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
P
normal
T
bug
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
P
normal
T
bug
representation polymorphism
typechecker
CLOSED
5
updated
Mar 14, 2022
Backpack does not support -ddump-tc-trace
#20396
· created
Sep 20, 2021
by
sheaf
P
low
T
bug
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
P
normal
T
question
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
T
bug
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
P
high
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
P
normal
PolyKinds
T
bug
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
P
normal
T
bug
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
P
normal
T
bug
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
P
normal
PolyKinds
T
task
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
P
low
T
bug
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
P
normal
T
feature 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
P
high
T
bug
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
P
normal
StandaloneKindSignatures
T
bug
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
P
high
T
bug
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
P
normal
T
bug
TypeApplications
typechecker
CLOSED
3
6
updated
Feb 23, 2022
Different error with representation-polymorphic binder
#20929
· created
Jan 10, 2022
by
Krzysztof Gogolewski
P
low
T
task
error messages
typechecker
CLOSED
3
updated
Feb 03, 2022
Inconsistent tidying of implications
#20932
· created
Jan 11, 2022
by
Simon Peyton Jones
P
high
T
bug
typechecker
CLOSED
4
4
updated
Feb 06, 2022
matchInstEnv accounts for 50% of typechecker time
#20933
· created
Jan 11, 2022
by
Matthew Pickering
P
normal
T
bug
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
P
normal
T
bug
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
P
normal
T
bug
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
P
normal
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
P
low
typechecker
CLOSED
4
4
updated
Feb 08, 2022
MonoLocalBinds sometimes monomorphises *global* binds
#21023
· created
Jan 30, 2022
by
Richard Eisenberg
MonomorphismRestriction
P
normal
T
feature 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
P
highest
RankNTypes
T
bug
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
P
low
T
bug
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
P
normal
StandaloneKindSignatures
T
task
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
P
normal
T
bug
typechecker
CLOSED
1
1
updated
Feb 26, 2022
Record update typing is wrong
#21158
· created
Mar 03, 2022
by
Simon Peyton Jones
P
low
T
bug
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
P
normal
T
bug
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
P
high
T
bug
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
P
low
QuantifiedConstraints
T
bug
typechecker
CLOSED
3
updated
Mar 25, 2022
Add syntactic equality relation
#21239
· created
Mar 16, 2022
by
sheaf
P
normal
T
task
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
P
normal
T
bug
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
P
normal
T
question
defaulting
representation polymorphism
typechecker
CLOSED
4
3
updated
Apr 27, 2022
Assertion in reportWanteds is too strict
#21405
· created
Apr 20, 2022
by
sheaf
P
normal
T
bug
error messages
typechecker
CLOSED
3
2
updated
Apr 27, 2022
GHC panic
#21479
· created
May 03, 2022
by
Icelandjack
9.2.3
P
normal
T
bug
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
P
normal
T
bug
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
P
normal
T
bug
typechecker
CLOSED
2
updated
May 18, 2022
Prev
1
…
7
8
9
10
11
Next