Skip to content

feat: Parallelise the type checker #29

@croyzor

Description

@croyzor

Branch inference-wip/fork is the current state of the art, which is to say, old enough we've forgotten much of it.
TODOs:

  • rebase off the old holes branch to follow just-nat-solving (feat: Add nat hope solving #70)
  • Parallelise typeEqs in SolveHoles.hs - note typeEqRow does the right thing by returning a bunch of unsolved/unexecuted subproblems, which the caller then parallelises via sequenceA

Sub-issues

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions