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
8
Closed
71
All
79
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}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Make the design of defaulting explicit
#20686
· created
Nov 15, 2021
by
Simon Peyton Jones
LinearTypes
P
normal
PolyKinds
T
task
defaulting
representation polymorphism
typechecker
32
updated
May 27, 2022
Heterogeneous coercions
#20514
· created
Oct 15, 2021
by
David Feuer
Coercible
Coercions
P
low
PolyKinds
T
feature request
13
updated
Oct 19, 2021
Obscure type error message around kinds needs more information to be useful
#19491
· created
Mar 05, 2021
by
Richard Eisenberg
PolyKinds
error messages
representation polymorphism
0
updated
Mar 05, 2021
Add warning for type aliases that monomorphise a PolyKinds-ed type
#18059
· created
Apr 14, 2020
by
lspitzner
PolyKinds
T
feature request
error messages
1
updated
Apr 27, 2020
Unused type variable error misidentifies the name of the type variable
#17838
· created
Feb 15, 2020
by
Ryan Scott
PolyKinds
T
bug
TypeFamilies
error messages
5
updated
Mar 31, 2020
Feature request: Polymorphic kinds in Data.Functor.Classes
#16276
· created
Feb 01, 2019
by
Langston Barrett
5
P
normal
PolyKinds
T
feature request
Trac import
0
updated
Jul 07, 2019
Error message, room for improvement (polykinds)
#13992
· created
Jul 18, 2017
by
Icelandjack
5
P
normal
PolyKinds
T
feature request
Trac import
2
updated
Jul 07, 2019
Unable to resolve instance for polykinded superclass constraint on associated-type-family.
#13814
· created
Jun 11, 2017
by
isovector
5
P
normal
PolyKinds
T
bug
Trac import
TypeFamilies
4
updated
Jul 07, 2019