Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
273
Closed
986
All
1,259
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}}
Popularity
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
Blocking
Missing improvement for fun. deps.
#4894
· opened
Jan 17, 2011
by
Iavor S. Diatchki
5
P
normal
T
bug
T
feature request
Trac import
typechecker
11
updated
Jul 07, 2019
Relax restrictions on type family instance overlap
#4259
· opened
Aug 16, 2010
by
lilac
8.0.1
5
P
normal
T
feature request
Trac import
injective type families
typechecker
32
updated
Jul 07, 2019
require -XGADTs in order to pattern-match GADTs
#2905
· opened
Jan 01, 2009
by
guest
6.12 branch
5
P
normal
T
bug
Trac import
typechecker
8
updated
Aug 26, 2020
Confusing type error message
#1928
· opened
Nov 25, 2007
by
josef
3
P
low
T
bug
Trac import
error messages
typechecker
5
updated
Jul 07, 2019
Add a total order on type constructors
#1894
· opened
Nov 14, 2007
by
guest
8.0.1
0
P
low
T
feature request
Trac import
typechecker
16
updated
Jul 07, 2019
Type checker does not use functional dependency to avoid ambiguity
#1614
· opened
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
· opened
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
· opened
Feb 20, 2007
by
guest
0
GADTs
P
low
T
bug
Trac import
typechecker
5
updated
Jul 07, 2019
Weird fundep behavior (with -fallow-undecidable-instances)
#816
· opened
Jul 06, 2006
by
nibro
5
FunctionalDependencies
P
normal
T
bug
Trac import
typechecker
1
13
updated
Nov 24, 2020
Various poor type error messages
#589
· opened
Dec 07, 2005
by
Peter A Jonsson [pj@ludd.ltu.se]
3
P
low
T
bug
Trac import
error messages
typechecker
9
updated
Jul 07, 2019
Supertyping of classes
#472
· opened
Oct 20, 2005
by
nobody
5
P
normal
T
feature request
Trac import
typechecker
4
updated
Jul 07, 2019
GADT - fundep interaction
#345
· opened
Apr 08, 2005
by
bring
3
GADTs
P
low
T
bug
Trac import
broken test
typechecker
16
updated
Jul 07, 2019
arrow notation: incorrect scope of existential dictionaries
#344
· opened
Apr 07, 2005
by
nobody
8.0.1
0
Arrows
P
low
T
bug
Trac import
typechecker
23
updated
Mar 12, 2021
Prev
1
…
10
11
12
13
14
Next