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}}
Popularity
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
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
RebindableSyntax and Arrow
#7828
· created
Apr 10, 2013
by
AlessandroVermeulen
8.0.1
5
Arrows
P
normal
T
bug
Trac import
typechecker
60
updated
Sep 22, 2020
Location in -fdefer-type-errors
#7668
· created
Feb 06, 2013
by
Krzysztof Gogolewski
8.0.1
5
P
normal
T
bug
Trac import
deferred type errors
typechecker
6
updated
Sep 25, 2020
Bug with PolyKinds, type synonyms & GADTs
#7503
· created
Dec 16, 2012
by
Ashley Yakeley
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
typechecker
8
updated
Jul 07, 2019
Allow compatible type synonyms to be the return type of a GADT data constructor.
#7494
· created
Dec 10, 2012
by
topi
8.0.1
5
GADTs
P
normal
T
feature request
Trac import
typechecker
6
updated
Jul 07, 2019
ghc-7 assumes incoherent instances without requiring language `IncoherentInstances`
#7296
· created
Oct 04, 2012
by
Christian Maeder
8.0.1
5
P
normal
T
bug
Trac import
typechecker
10
updated
Jul 07, 2019
Allow type signature in export list
#7140
· created
Aug 13, 2012
by
Dan Burton
8.0.1
5
P
normal
T
feature request
Trac import
typechecker
4
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
Holes with other constraints
#5910
· created
Mar 02, 2012
by
xnyhps
8.0.1
5
P
normal
T
feature request
Trac import
error messages
typechecker
typed holes
29
updated
Jul 07, 2019
"guarded instances": instance selection can add extra parameters to the class
#5590
· created
Oct 28, 2011
by
nfrisby
8.0.1
5
P
normal
T
feature request
Trac import
typechecker
7
updated
Jul 07, 2019
Missing type checks for arrow command combinators
#5267
· created
Jun 22, 2011
by
peteg
8.0.1
3
Arrows
P
low
T
bug
Trac import
broken test
typechecker
22
updated
Jul 07, 2019
Typechecker behaviour change
#5051
· created
Mar 26, 2011
by
Ian Lynagh <igloo@earth.li>
⊥
5
P
normal
T
bug
Trac import
typechecker
7
updated
Jul 07, 2019
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
Relax restrictions on type family instance overlap
#4259
· created
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
· created
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
· created
Nov 25, 2007
by
josef
3
P
low
T
bug
Trac import
diagnostic quality
error messages
typechecker
5
updated
Mar 07, 2022
Add a total order on type constructors
#1894
· created
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
· 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