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}}
Last updated
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Pattern synonyms in hs-boot files
#13322
· created
Feb 23, 2017
by
Edward Z. Yang
3
P
low
T
feature request
Trac import
backpack
hs-boot
typechecker
1
1
updated
Jul 07, 2019
Abstract classes in hs-boot should not be treated as injective
#13347
· created
Feb 27, 2017
by
Edward Z. Yang
3
P
low
T
bug
Trac import
hs-boot
typechecker
1
updated
Jul 07, 2019
Role ranges (allow decomposition on newtypes)
#13358
· created
Mar 01, 2017
by
Edward Z. Yang
3
P
low
T
feature request
Trac import
backpack
roles
typechecker
3
updated
Jul 07, 2019
Typeclass resolution errors quite puzzling
#13443
· created
Mar 18, 2017
by
tomjaguarpaw
8.6.1
5
P
normal
T
feature request
Trac import
error messages
typechecker
3
updated
Jul 07, 2019
Code using ConstraintKinds needs explicit kind signature with GHC 8.2.1
#13742
· created
May 22, 2017
by
albertov
5
ConstraintKinds
P
normal
T
bug
Trac import
typechecker
13
updated
Jul 07, 2019
Variables pretty-printed from -ddump-deriv are not scoped properly
#13748
· created
May 23, 2017
by
Ryan Scott
5
P
normal
T
bug
Trac import
deriving
typechecker
0
updated
Jul 07, 2019
Rename AND typecheck types before values
#14340
· created
Oct 11, 2017
by
Edward Z. Yang
5
P
normal
T
task
Trac import
typechecker
0
updated
Jul 07, 2019
{-# complete #-} should be able to handle | like {-# minimal #-}
#14423
· created
Nov 05, 2017
by
Edward Kmett
5
P
normal
PatternSynonyms
T
feature request
Trac import
typechecker
0
updated
Jul 07, 2019
Abstract pattern synonyms (for hsig and hs-boot)
#14478
· created
Nov 17, 2017
by
Edward Z. Yang
5
P
normal
T
feature request
Trac import
backpack
typechecker
4
updated
Jul 07, 2019
Untouchable error arises from type equality, but not equivalent program with fundeps
#14570
· created
Dec 10, 2017
by
Alexis King
5
P
normal
T
bug
Trac import
typechecker
4
updated
Jul 07, 2019
Keep Role Annotations in the renamed syntax tree
#14772
· created
Feb 07, 2018
by
lazac
5
P
normal
T
feature request
Trac import
typechecker
0
updated
Jul 07, 2019
Typed hole subtitution search fails in the REPL
#14858
· created
Feb 26, 2018
by
paf31
8.4.1
5
P
normal
T
bug
Trac import
typechecker
typed holes
1
updated
Jul 07, 2019
QuantifiedConstraints: Can't be RHS of type family instances
#14968
· created
Mar 24, 2018
by
josef
5
P
normal
T
bug
Trac import
typechecker
1
11
updated
Jul 07, 2019
Exhaustivity check should suggest when COMPLETE could be helpful
#15014
· created
Apr 08, 2018
by
Edward Z. Yang
8.4.3
5
P
normal
PatternSynonyms
T
bug
Trac import
error messages
pattern match warnings
typechecker
0
updated
Jul 07, 2019
Derive Generic1 instances for types of kind (k -> *) -> * that include applications of the parameter
#15310
· created
Jun 25, 2018
by
cedricshock
3
P
low
T
feature request
Trac import
generics
typechecker
3
updated
Jul 07, 2019
Reduce type families in equations' RHS when testing equation compatibility
#15557
· created
Aug 22, 2018
by
mniip
8.6.1
5
P
normal
T
feature request
Trac import
TypeFamilies
typechecker
7
updated
Jul 07, 2019
Surprising failure combining QuantifiedConstraints with Coercible
#15639
· created
Sep 13, 2018
by
David Feuer
8.6.1
5
P
normal
T
bug
Trac import
typechecker
10
updated
Jul 07, 2019
More liberally kinded coercions for newtypes
#15707
· created
Oct 05, 2018
by
mniip
8.6.1
5
P
normal
T
feature request
Trac import
roles
typechecker
5
updated
Jul 07, 2019
Cross-module SPECIALZE pragmas aren't typechecked in -O0
#15708
· created
Oct 05, 2018
by
regnat
5
P
normal
T
bug
Trac import
typechecker
2
updated
Jul 07, 2019
Adding extra quantified constraints leads to resolution failure
#15989
· created
Dec 02, 2018
by
eror
8.6.3
5
P
normal
T
bug
Trac import
typechecker
7
updated
Jul 07, 2019
Prev
1
…
12
13
14
15
16
17
Next