Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Merge requests
Open
0
Merged
0
Closed
3
All
3
Actions
Subscribe to RSS feed
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
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Implement Quick Look impredicativity
!3220
· created
May 05, 2020
by
Simon Peyton Jones
9.2.1
HQ shepherd
ImpredicativeTypes
typechecker
Closed
Approved
341
updated
Mar 12, 2021
Add right-to-left rule for pattern bindings
!3766
· created
Jul 27, 2020
by
Simon Peyton Jones
ImpredicativeTypes
Closed
12
updated
Aug 19, 2020
Make isTauTy detect higher-rank contexts
!3201
· created
May 03, 2020
by
Ryan Scott
9.0.1
ImpredicativeTypes
RankNTypes
Closed
Approved
8
updated
May 06, 2020