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
4
Closed
8
All
12
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
Weight
Blocking
Dependent quantification prevents unification
#17072
· opened
Aug 17, 2019
by
Vladislav Zavialov
T
feature request
typechecker
visible dependent quantification
1
17
updated
Jan 23, 2020
GHC should be more forgiving with visible dependent quantification in visible type applications
#16371
· opened
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
· opened
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
· opened
Mar 10, 2017
by
Richard Eisenberg
5
P
normal
T
feature request
Trac import
TypeInType
visible dependent quantification
13
updated
Sep 25, 2020
