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
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}}
Created date
--infer was ignored in type_file, the tests were not properly checking that the type inference was working.
!1089
· created
Apr 13, 2021
by
Suzanne Soy
Typer: Prototype MVP
Type System
Merged
Approved
updated
Apr 14, 2021
Prototype typer: add c_typeclass_simpl as a result of heuristics.
!997
· created
Feb 17, 2021
by
Suzanne Soy
Typer: Prototype MVP
prototype-typer-heuristic-tc-v2
Type System
Merged
Approved
updated
Feb 18, 2021
Prototype typer: c_access_label should work on variants too; fixed its alias_selector
!996
· created
Feb 16, 2021
by
Suzanne Soy
Typer: Prototype MVP
prototype-typer-heuristic-tc-v2
Type System
Merged
Approved
updated
Feb 17, 2021
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
Progress on Prototype typer: heuristic tc_fundep v2
!981
· created
Feb 11, 2021
by
Suzanne Soy
Typer: Prototype MVP
Type System
Merged
Approved
updated
Mar 01, 2021
Work on the prototype typer: progress on modular interface for heuristics, renamed things, moved files, fixed tests.
!972
· created
Feb 09, 2021
by
Suzanne Soy
Typer: Prototype MVP
Type System
Merged
23
Approved
updated
Feb 13, 2021
Work on the prototype typer…
!961
· created
Feb 01, 2021
by
Suzanne Soy
Typer: Prototype MVP
Type System
Merged
Approved
updated
Feb 02, 2021
Prototype typer test heuristic break ctor
!918
· created
Dec 16, 2020
by
Suzanne Soy
Typer: Prototype MVP
Type System
Merged
1
Approved
updated
Jun 12, 2024
Work on the prototype typer
!915
· created
Dec 12, 2020
by
Suzanne Soy
Typer: Prototype MVP
Review
Type System
Merged
Approved
updated
Jan 27, 2021
Prototype typer: type checker and more tests.
!910
· created
Dec 08, 2020
by
Suzanne Soy
Typer: Prototype MVP
Type System
Merged
Approved
updated
Jun 12, 2024
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
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
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
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
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
Closes #212: functional-dependencies-style inference for typeclasses
!747
· created
Aug 04, 2020
by
Suzanne Soy
Typer: Prototype MVP
Feature
Type System
Merged
2
updated
Oct 15, 2020