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
5
Closed
10
All
15
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
Can't unify `k -> Type` with visible dependent quantification that ignores its quantifiee `forall (x :: k) -> Type`
#21272
· created
Mar 21, 2022
by
Icelandjack
P
normal
T
bug
documentation
error messages
visible dependent quantification
5
updated
Apr 02, 2022
Dependent quantification prevents unification
#17072
· created
Aug 17, 2019
by
Vladislav Zavialov
T
feature request
typechecker
visible dependent quantification
1
17
updated
Mar 21, 2022
GHC should be more forgiving with visible dependent quantification in visible type applications
#16371
· created
Feb 27, 2019
by
Ryan Scott
5
P
normal
T
bug
Trac import
typechecker
visible dependent quantification
4
updated
Nov 09, 2020
Check kinds for ambiguity
#14419
· created
Nov 03, 2017
by
Richard Eisenberg
5
P
normal
T
bug
Trac import
visible dependent quantification
16
updated
Jun 21, 2020
Consider inferring a higher-rank kind for type synonyms
#13408
· created
Mar 10, 2017
by
Richard Eisenberg
5
P
normal
T
feature request
Trac import
TypeInType
visible dependent quantification
13
updated
Sep 25, 2020