Multi-threaded type inference#41

Closed

acl-cqc wants to merge 94 commits into

just-nat-solvingfrom

inference-wip/fork

Commits on Aug 19, 2024

Add "hoping" variables
Craig Roy
committed
Expand Free monad with Define and Yield
Craig Roy
committed

Commits on Aug 20, 2024

Add Define/Yield cases to handler functions
Craig Roy
committed
Handle Yield in toplevel handler
Craig Roy
committed
Add bang parsing
mark-koch
committed
Turn on ApplicativeDo
Craig Roy
committed
Add some dummy code for typechecking !
Craig Roy
committed
Revert "Add "hoping" variables"
Craig Roy
committed
Some parallelisation
Craig Roy
committed
Add hope set to monad
Craig Roy
committed
Move occur check logic to Eval
Craig Roy
committed
misc changes
Craig Roy
committed
[broken] update eqworker
Craig Roy
committed
Revert "[broken] update eqworker"
Craig Roy
committed
Add !,! test
Craig Roy
committed
Rewrite typeEq
mark-koch
committed

Commits on Aug 21, 2024

feat: Solve numbers that are just variables
Craig Roy
committed
typeEqRow returns sub-problems
acl-cqc
committed
sequence_ -> traverse_ id
acl-cqc
committed
[broken] Build things to wire into solved hopes
Craig Roy
committed
Don't hide that error
Craig Roy
committed

Commits on Aug 22, 2024

Fix typechecking for infer example
Craig Roy
committed
feat: Complain when we have remaining Nat-kinded holes
Craig Roy
committed
Incude file context in hopeSet
Craig Roy
committed
Allow comparing VInx
Craig Roy
committed
Rewrite dynamic num refinements to work on srcs and tgts
Craig Roy
committed
Fix demandEven logic
Craig Roy
committed
Flip that hypo node back around
Craig Roy
committed

Commits on Aug 23, 2024

Rewrite computeMeta to do definition as well
Craig Roy
committed

Commits on Sep 20, 2024

Commits on Sep 25, 2024

new: Add `Lluf` operation to the BRAT hugr extension
Craig Roy
committed
checkpoint b4 I break eerything
Craig Roy
committed

Commits on Oct 1, 2024

Commits on Oct 3, 2024

Redo invertNatVal
Craig Roy
committed

Commits on Oct 7, 2024

Commits on Nov 22, 2024

Commits on Apr 1, 2025

Commits on Apr 2, 2025

Replace Bool with IsSkolem = SkolemConst | Definable
acl-cqc
committed

Commits on Apr 7, 2025

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