Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Merge requests
Open
0
Merged
0
Closed
2
All
2
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
Allow cross-tyvar defaulting proposals from plugins
!11102
· created
Aug 17, 2023
by
Gergő Érdi
defaulting
plugins
typechecker plugins
Closed
Approved
59
updated
Sep 01, 2023
If we have multiple defaulting plugins, then we should zonk in between them
!11117
· created
Aug 22, 2023
by
Gergő Érdi
defaulting
plugins
typechecker plugins
Closed
Approved
38
updated
Sep 20, 2023