Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
0
Merged
10
Closed
6
All
16
Merge trains
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{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
WIP: update maps which depend on union-find root IDs
!846
· created
Oct 15, 2020
by
Suzanne Soy
Typer: Prototype MVP
Review
Type System
Closed
1
Approved
updated
Jun 12, 2024
WIP: Typer not currently in use
!839
· created
Oct 13, 2020
by
Suzanne Soy
Typer: Prototype MVP
Type System
Closed
0 of 1 Approvals
updated
Jun 12, 2024
Draft: Remove self-aliases in type inference database
!844
· created
Oct 15, 2020
by
Suzanne Soy
Typer: Prototype MVP
Review
Type System
Closed
1
Approved
updated
Jun 12, 2024
Draft: Check unassigned unification vars
!845
· created
Oct 15, 2020
by
Suzanne Soy
Typer: Prototype MVP
Review
Type System
Closed
1
Approved
updated
Jun 12, 2024
Prototype typer: separate "deduce and clean" as a new heuristic
!988
· created
Feb 12, 2021
by
Suzanne Soy
Typer: Prototype MVP
Type System
Closed
1
0 of 1 Approvals
updated
Feb 25, 2021
Boolean flag: is constraint deletable
!814
· created
Sep 18, 2020
by
Suzanne Soy
Typer: Prototype MVP
bugfix-hide-implementation-result-monad
Closed
1
Approved
updated
Oct 15, 2020