Multithreaded type checking and inference#93

Merged

croyzor merged 196 commits intomainfrom

inference-wip/ownership-cleaner

Dec 17, 2025

Commits on Aug 19, 2024

Commits on Aug 20, 2024

Commits on Aug 23, 2024

Rewrite computeMeta to do definition as well
croyzor
committed

Commits on Sep 20, 2024

Commits on Sep 25, 2024

Commits on Oct 1, 2024

Commits on Oct 3, 2024

Redo invertNatVal
croyzor
committed

Commits on Oct 7, 2024

Commits on Nov 22, 2024

Commits on Dec 18, 2024

Commits on Dec 23, 2024

Merge branch 'main' into just-holes
croyzor
authored

Commits on Jan 7, 2025

Commits on Apr 1, 2025

Merge remote-tracking branch 'origin/main' into just-nat-solving
croyzor
committed
[ broken ] troublesome examples of nat solving

Conor McBride
authored and
Conor McBride
committed
Fix demandEven
croyzor
committed
Fix recursive call in `hasfulllen`
croyzor
committed
[ minor fix ] hasfulllen needs a numeric input

Conor McBride
authored and
Conor McBride
committed
Fix the other call site that calls `invertNatVal` with a Src
croyzor
committed
fix some golden/graph tests, mostly internal variable names, plus an FC -> line no.
acl-cqc
committed
Merge remote-tracking branch 'origin/just-nat-solving' into inference-wip/fork2
acl-cqc
committed
Remove RemoveHope, Define does it automatically
acl-cqc
committed

Commits on Apr 2, 2025

Replace Bool with IsSkolem = SkolemConst | Definable
acl-cqc
committed
[ progress ] factored out SolveNumbers; started numEq (to be nuked)

Conor McBride
authored and
Conor McBride
committed
[ progress ] unifyNum now used in solveHoles as well as solvePatterns, but it's coming when it should be going

Conor McBride
authored and
Conor McBride
committed
[ progress ] Fred vs Ginger now a thing.

Conor McBride
authored and
Conor McBride
committed

Commits on Apr 3, 2025

[ progress ] eatsfullbis.brat now typechecks; long way to go; messy

Conor McBride
authored and
Conor McBride
committed
Skeleton for converting valPats to Valz
croyzor
committed

Commits on Apr 4, 2025

[wip] Bug hunting
croyzor
committed
[ fix ] makePred now defines the hole to be the succ

Conor McBride
authored and
Conor McBride
committed

Commits on Apr 7, 2025

[ progress ] removed tracing

Conor McBride
authored and
Conor McBride
committed
[ progress ] no more Fred and Ginger

Conor McBride
authored and
Conor McBride
committed
Fix redefinition in make{Half,Pred}
croyzor
committed
Keep track of which hopes are dynamic
croyzor
committed
Better handling of flex-flex case when unifying numbers
croyzor
committed
Accept new golden values, regress vector errors for now
croyzor
committed
wip Merge remote-tracking branch 'origin/just-nat-solving' into inference-wip/fork
croyzor
committed

Commits on Apr 8, 2025

Lots of debug printing
croyzor
committed
[ minor progress ] typeEqs forks

Conor McBride
authored and
Conor McBride
committed
Drop needless call to abstractAll (transitively valMatch)
croyzor
committed
Add debug labels to test file
croyzor
committed
Start dealing in the ownership of unsolved Ends
croyzor
committed

Commits on Apr 9, 2025

Still broken but now compiling
croyzor
committed
More tracing
croyzor
committed
Allow solving when unifying args with valPat2Val
croyzor
committed
[ progress / broken ] new mineToSolve logic not rolled out yet

Conor McBride
authored and
Conor McBride
committed
[ fix ] check in lambda wrapped in $rhs

Conor McBride
authored and
Conor McBride
committed
[ fix ] get $checkwire out of $rhs's way; typesEq not unifys!

Conor McBride
authored and
Conor McBride
committed
[ deletion ] unifys is gone

Conor McBride
authored and
Conor McBride
committed
[ fix ] more $rhs for check; loc -! solveNumMeta

Conor McBride
authored and
Conor McBride
committed

Commits on Apr 11, 2025

map failure: Feature not a bug?
croyzor
committed
Fix bug in solveNumMeta
croyzor
committed
Some yielding in unifyNum
croyzor
committed
A smaller test case (delete later)
croyzor
committed
[ fix ] more yielding in unifyNum; no unauthorised solving

Conor McBride
authored and
Conor McBride
committed

Commits on Apr 22, 2025

fix bad debug printout
acl-cqc
committed

Commits on Apr 29, 2025

Tracing; bug hunting
croyzor
committed
[ fix ] zonk after demandEven

Conor McBride
authored and
Conor McBride
committed
Accept some golden values
croyzor
committed

Commits on Dec 1, 2025

Add some metadata to hugr for ad hoc debugging
croyzor
committed

Commits on Dec 8, 2025

Commits on Dec 9, 2025

Commits on Dec 12, 2025

Commits on Dec 16, 2025

Simplify var-passing in compileConstDfg
acl-cqc
committed

Commits on Dec 17, 2025

Add comments to newly failing compilation tests
croyzor
committed