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
326
Closed
1,047
All
1,373
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}}
Last updated
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
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
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
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
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
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 sessions (--make, --interactive, GHC API) erroneously retain instances
#2182
· created
Mar 28, 2008
by
claus.reinke@talk21.com
7.10.1
5
GHCi
P
normal
T
bug
Trac import
typechecker
CLOSED
14
updated
Apr 29, 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
Hole-y partial type signatures greatly slow down compile times
#14766
· created
Feb 06, 2018
by
Alec Theriault
5
P
normal
T
bug
Trac import
compiler perf
partial type sigs
typechecker
CLOSED
3
21
updated
Apr 28, 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
3
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
2
2
updated
Apr 27, 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
Improve instantiation of datacons
#18481
· created
Jul 20, 2020
by
Krzysztof Gogolewski
LinearTypes
T
task
typechecker
CLOSED
1
6
updated
Apr 12, 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
Allow foreign prim to return Any
#10460
· created
May 29, 2015
by
Edward Z. Yang
8.0.1
5
P
normal
T
feature request
Trac import
typechecker
CLOSED
6
updated
Mar 28, 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
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
Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]
#14040
· created
Jul 27, 2017
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeFamilies
TypeInType
compiler crash
partial type sigs
typechecker
typed holes
CLOSED
20
updated
Mar 22, 2022
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
Order-dependent type inference due to Note [Instance and Given overlap]
#18910
· created
Oct 30, 2020
by
Richard Eisenberg
P
normal
T
bug
TypeFamilies
constraint solver
typechecker
CLOSED
3
5
updated
Mar 15, 2022
Prev
1
2
3
4
5
…
53
Next