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}}
Milestone due date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
IncoherentInstances are too restricted
#9432
· created
Aug 11, 2014
by
danilo2
7
P
high
T
feature request
Trac import
typechecker
8
updated
Jul 07, 2019
More informative error messages when closed type families fail to simplify
#9376
· created
Jul 29, 2014
by
MikeIzbicki
5
P
normal
T
bug
T
feature request
Trac import
typechecker
7
updated
Jul 07, 2019
Implement "instance chains"
#9334
· created
Jul 19, 2014
by
Iavor S. Diatchki
5
P
normal
T
feature request
Trac import
typechecker
19
updated
Jul 07, 2019
"overlapping instances" through FunctionalDependencies
#9210
· created
Jun 16, 2014
by
rwbarton
5
FunctionalDependencies
P
normal
T
bug
Trac import
typechecker
11
updated
Jun 30, 2020
print and/or apply constraints when showing info for typed holes
#9091
· created
May 08, 2014
by
Andres Löh
5
P
normal
T
feature request
Trac import
typechecker
10
updated
Jul 07, 2019
Remove unnecessary constraints from MonadComprehensions and ParallelListComp
#8914
· created
Mar 19, 2014
by
Icelandjack
5
P
normal
T
feature request
Trac import
typechecker
5
updated
Jul 07, 2019
ImpredicativeTypes type checking fails depending on syntax of arguments
#8808
· created
Feb 20, 2014
by
guest
5
ImpredicativeTypes
P
normal
T
bug
Trac import
typechecker
2
updated
Sep 24, 2020
Add (->) representation and the Invariant class to GHC.Generics
#8516
· created
Nov 09, 2013
by
nfrisby
3
P
low
T
feature request
Trac import
typechecker
14
updated
Jul 07, 2019
A combination of type-level comparison and subtraction does not work for 0
#8447
· created
Oct 15, 2013
by
nushio
3
P
low
T
bug
Trac import
typechecker
4
updated
Jul 07, 2019
forall on non-* types
#8388
· created
Sep 30, 2013
by
Krzysztof Gogolewski
5
P
normal
T
bug
Trac import
typechecker
3
updated
Sep 15, 2021
TypeFamilies painfully slow
#8095
· created
Jul 27, 2013
by
MikeIzbicki
7
Coercions
P
high
T
bug
Trac import
compiler perf
typechecker
2
3
102
updated
Mar 30, 2022
Compilation errors break the complexity encapsulation on DSLs, impairs success in industry
#7870
· created
Apr 27, 2013
by
agocorona
5
P
normal
T
feature request
Trac import
typechecker
8
updated
Jul 07, 2019
Incorrect checking of let-bindings in recursive do
#7842
· created
Apr 17, 2013
by
Iavor S. Diatchki
5
P
normal
RecursiveDo
T
bug
Trac import
typechecker
3
updated
Jul 07, 2019
Suggested type signature causes a type error (even though it appears correct)
#6065
· created
Apr 30, 2012
by
tvynr
5
P
normal
T
bug
Trac import
typechecker
8
updated
Jul 07, 2019
Allow defining kinds alone, without a datatype
#6024
· created
Apr 19, 2012
by
dreixel
5
P
normal
T
feature request
Trac import
ghc proposal
typechecker
1
16
updated
Mar 08, 2022
Missing improvement for fun. deps.
#4894
· created
Jan 17, 2011
by
Iavor S. Diatchki
5
P
normal
T
bug
T
feature request
Trac import
typechecker
11
updated
Jul 07, 2019
Confusing type error message
#1928
· created
Nov 25, 2007
by
josef
3
P
low
T
bug
Trac import
diagnostic quality
error messages
typechecker
5
updated
Mar 07, 2022
Type checker does not use functional dependency to avoid ambiguity
#1614
· created
Aug 14, 2007
by
guest
5
P
normal
T
bug
Trac import
typechecker
11
updated
Jul 07, 2019
Provide way to show the origin of a constraint
#1451
· created
Jun 22, 2007
by
iampure@gmail.com
5
P
normal
T
feature request
Trac import
typechecker
5
updated
Jul 07, 2019
Problem with GADTs and explicit type signatures
#1158
· created
Feb 20, 2007
by
guest
0
GADTs
P
low
T
bug
Trac import
typechecker
5
updated
Jul 07, 2019
Prev
1
…
12
13
14
15
16
17
Next