Code

Multi-threaded type inference#41

Code

Draft

acl-cqc wants to merge 86 commits intoholesCQCL/brat:holesfrom inference-wip/forkCQCL/brat:inference-wip/forkCopy head branch name to clipboard

+526-202

Commits

Commits on Aug 19, 2024

• Add "hoping" variables

  croyzor

  committed
  04c52ac

  Copy full SHA for 04c52ac

• Expand Free monad with Define and Yield

  croyzor

  committed
  3a1d6fe

  Copy full SHA for 3a1d6fe

Commits on Aug 20, 2024

• Add Define/Yield cases to handler functions

  croyzor

  committed
  bf6cfcf

  Copy full SHA for bf6cfcf

• Handle Yield in toplevel handler

  croyzor

  committed
  a6f00dd

  Copy full SHA for a6f00dd

• Add bang parsing

  mark-koch

  committed
  4204c50

  Copy full SHA for 4204c50

• Turn on ApplicativeDo

  croyzor

  committed
  3b8fdc1

  Copy full SHA for 3b8fdc1

• Add some dummy code for typechecking !

  croyzor

  committed
  8f904bc

  Copy full SHA for 8f904bc

• Revert "Add "hoping" variables"

  Show description for 8b852a2
  croyzor

  committed
  8b852a2

  Copy full SHA for 8b852a2

• Some parallelisation

  croyzor

  committed
  77b92fe

  Copy full SHA for 77b92fe

• Add hope set to monad

  croyzor

  committed
  3a1288d

  Copy full SHA for 3a1288d

• Move occur check logic to Eval

  croyzor

  committed
  b979c70

  Copy full SHA for b979c70

• misc changes

  croyzor

  committed
  a197fb2

  Copy full SHA for a197fb2

• [broken] update eqworker

  croyzor

  committed
  b115f84

  Copy full SHA for b115f84

• Revert "[broken] update eqworker"

  Show description for ce1d1cf
  croyzor

  committed
  ce1d1cf

  Copy full SHA for ce1d1cf

• Add !,! test

  croyzor

  committed
  c064466

  Copy full SHA for c064466

• Rewrite typeEq

  mark-koch

  committed
  b33f100

  Copy full SHA for b33f100

Commits on Aug 21, 2024

• feat: Solve numbers that are just variables

  croyzor

  committed
  c093ced

  Copy full SHA for c093ced

• typeEqRow returns sub-problems

  acl-cqc

  committed
  7986539

  Copy full SHA for 7986539

• sequence_ -> traverse_ id

  acl-cqc

  committed
  7afa2c4

  Copy full SHA for 7afa2c4

• [broken] Build things to wire into solved hopes

  croyzor

  committed
  265a5b6

  Copy full SHA for 265a5b6

• Don't hide that error

  croyzor

  committed
  2a360b6

  Copy full SHA for 2a360b6

Commits on Aug 22, 2024

• Fix typechecking for infer example

  croyzor

  committed
  6be252b

  Copy full SHA for 6be252b

• feat: Complain when we have remaining Nat-kinded holes

  croyzor

  committed
  646f6f9

  Copy full SHA for 646f6f9

• Incude file context in hopeSet

  croyzor

  committed
  c2c8bbe

  Copy full SHA for c2c8bbe

• Allow comparing VInx

  croyzor

  committed
  3765a8a

  Copy full SHA for 3765a8a

• Rewrite dynamic num refinements to work on srcs and tgts

  croyzor

  committed
  a22531b

  Copy full SHA for a22531b

• Fix demandEven logic

  croyzor

  committed
  af75834

  Copy full SHA for af75834

• Flip that hypo node back around

  croyzor

  committed
  283ccae

  Copy full SHA for 283ccae

Commits on Aug 23, 2024

• Rewrite computeMeta to do definition as well

  croyzor

  committed
  0da9554

  Copy full SHA for 0da9554

Commits on Sep 20, 2024

• SolvePatterns build fixes; unified.brat+infer.brat fail with non-closed Nat value

  acl-cqc

  committed
  2139140

  Copy full SHA for 2139140

• Step0. Yield in getThunks

  acl-cqc

  committed
  78cc87c

  Copy full SHA for 78cc87c

• Drop already-commented-out Helpers.hs export list

  acl-cqc

  committed
  fb99b1a

  Copy full SHA for fb99b1a

• WIP two-stage check

  acl-cqc

  committed
  07c17ed

  Copy full SHA for 07c17ed

• Add infer_thunks(,2).brat example; ...2 works but map body not checked

  acl-cqc

  committed
  23853e5

  Copy full SHA for 23853e5

• checkClause returns subproblem (oops) - BOTH infer_thunks(,2) failing to find f

  acl-cqc

  committed
  75e9017

  Copy full SHA for 75e9017

• Revert "checkClause returns subproblem (oops) - BOTH infer_thunks(,2) failing to find f"

  Show description for 0f21ce7
  acl-cqc

  committed
  0f21ce7

  Copy full SHA for 0f21ce7

• WIP debug (shows we stop at [to_float] and never check to_float)

  acl-cqc

  committed
  3bebd4c

  Copy full SHA for 3bebd4c

• Try just using *> rather than returning subproblem (tests build, 59 fail)

  acl-cqc

  committed
  dce7f0f

  Copy full SHA for dce7f0f

• WIP add request to Fork, but TODO captureOuterLocals (tests build but 128 fail)

  acl-cqc

  committed
  5764083

  Copy full SHA for 5764083

• Add captureSets, AddCapture

  acl-cqc

  committed
  a2ebfcf

  Copy full SHA for a2ebfcf

• Plumb captureSet into CompilationState (never read), various Load.hs corrections

  acl-cqc

  committed
  2e4b14e

  Copy full SHA for 2e4b14e

• captureOuterLocals routes captures via AddCapture, so Box VEnv always null

  acl-cqc

  committed
  85ff9c7

  Copy full SHA for 85ff9c7

• And remove VEnv from Box

  acl-cqc

  committed
  c90845c

  Copy full SHA for c90845c

• wip debug

  acl-cqc

  committed
  115c0fa

  Copy full SHA for 115c0fa

Commits on Sep 25, 2024

• new: Add Lluf operation to the BRAT hugr extension

  croyzor

  committed
  c24ca0d

  Copy full SHA for c24ca0d

• checkpoint b4 I break eerything

  croyzor

  committed
  672392c

  Copy full SHA for 672392c

Commits on Oct 1, 2024

• A couple of unit tests with Fork/Define/Yield (add assertCheckingFail)

  acl-cqc

  committed
  9f3faa8

  Copy full SHA for 9f3faa8

• Reduce change, revert checkInputs/Outputs back to Checking, also checkClauses

  acl-cqc

  committed
  e694a8d

  Copy full SHA for e694a8d

• Add string description to Fork

  acl-cqc

  committed
  2b73543

  Copy full SHA for 2b73543

• TEMP remove failure tests

  acl-cqc

  committed
  251455b

  Copy full SHA for 251455b

• Fork outside Req, with both child computations (44 fails)

  acl-cqc

  committed
  47f4c31

  Copy full SHA for 47f4c31

• WIP remove debug

  acl-cqc

  committed
  9dc4b0e

  Copy full SHA for 9dc4b0e

• Fix compilation crashing on empty captureSet

  acl-cqc

  committed
  554bae2

  Copy full SHA for 554bae2

• Add isSkolem func, use in typeEqEta - TODO for now True for any outport

  acl-cqc

  committed
  0bfcc27

  Copy full SHA for 0bfcc27

• simpleCheck is Checking, allow to define hopes (except nat/int?!) and block

  acl-cqc

  committed
  a4115fb

  Copy full SHA for a4115fb

• typeMap stores skolem-ness (always False ATM); TypeOf returns (EndType,Bool)

  acl-cqc

  committed
  3b76be2

  Copy full SHA for 3b76be2

• Inline only use of declareSrc

  acl-cqc

  committed
  2ebb941

  Copy full SHA for 2ebb941

• Declare takes Bool param (still always False)

  acl-cqc

  committed
  e0c7997

  Copy full SHA for e0c7997

• anext' allows setting Sources to be skolem

  acl-cqc

  committed
  45751ac

  Copy full SHA for 45751ac

• implement isSkolem using TypeOf

  acl-cqc

  committed
  87270bf

  Copy full SHA for 87270bf

• Common up Checking wrappers via 'wrapper' and 'wrapper2'

  acl-cqc

  committed
  2fcdd48

  Copy full SHA for 2fcdd48

• print hopeset when blocked

  acl-cqc

  committed
  75a5ac0

  Copy full SHA for 75a5ac0

• Use defineEnd more

  acl-cqc

  committed
  9f1c6ff

  Copy full SHA for 9f1c6ff

• Add mkYield, use it

  acl-cqc

  committed
  0808dab

  Copy full SHA for 0808dab

• Remove concurrency-blocking -!s in makeBox (27 -> 24 fails)

  acl-cqc

  committed
  a83de68

  Copy full SHA for a83de68

• Remove howStuck, just use Unstuck (30 -> 27 fails)

  acl-cqc

  committed
  98a5671

  Copy full SHA for 98a5671

• typeEqEta shouldWait for ends inside nums as well, assert -> unless

  acl-cqc

  committed
  db83ba9

  Copy full SHA for db83ba9

Commits on Oct 3, 2024

• Redo invertNatVal

  croyzor

  committed
  710c931

  Copy full SHA for 710c931

Commits on Oct 4, 2024

• Refactor typeEqEta

  acl-cqc

  committed
  3b36023

  Copy full SHA for 3b36023

• typeEqEta: fast-path without blocking for both ends the same

  acl-cqc

  committed
  3e15acc

  Copy full SHA for 3e15acc

• typeEqEta shouldWait for ends inside nums as well, assert -> unless

  acl-cqc

  committed
  a900ac4

  Copy full SHA for a900ac4

• Refactor typeEqEta

  acl-cqc

  committed
  3bf4f0b

  Copy full SHA for 3bf4f0b

• typeEqEta: fast-path without blocking for both ends the same

  acl-cqc

  committed
  2c8f26b

  Copy full SHA for 2c8f26b

• Call eval after resumption in simpleCheck

  acl-cqc

  committed
  42ef6d3

  Copy full SHA for 42ef6d3

• Merge remote-tracking branch 'origin/main' into inference-wip/fork

  acl-cqc

  committed
  5b13e9d

  Copy full SHA for 5b13e9d

Commits on Oct 7, 2024

• Merge remote-tracking branch 'origin/inference-wip/fork' into new/inference-wip

  croyzor

  committed
  43bcaf8

  Copy full SHA for 43bcaf8

• Merge remote-tracking branch 'origin/craig/inference-wip/fork-and-natval' into inference-wip/fork

  acl-cqc

  committed
  62332cf

  Copy full SHA for 62332cf

• SolvePatterns build fixes

  acl-cqc

  committed
  5517854

  Copy full SHA for 5517854

Commits on Oct 21, 2024

• Merge remote-tracking branch 'origin/main' into inference-wip/fork (conflict)

  acl-cqc

  committed
  48cd1e2

  Copy full SHA for 48cd1e2

• Comment out mapVec

  acl-cqc

  committed
  4f8099b

  Copy full SHA for 4f8099b

• Fix checking of infer.brat w/note, add more. Compilation fails on Pow ?!

  acl-cqc

  committed
  9203cb6

  Copy full SHA for 9203cb6

• Revert "TEMP remove failure tests"

  Show description for 95dad0f
  acl-cqc

  committed
  95dad0f

  Copy full SHA for 95dad0f

Commits on Nov 22, 2024

• Fix infer.brat, no need to multiply by 2^0

  acl-cqc

  committed
  352e9f8

  Copy full SHA for 352e9f8

• Merge remote-tracking branch 'origin/main' into inference-wip/fork

  acl-cqc

  committed
  3c96393

  Copy full SHA for 3c96393

• Fix bad merge, check against HopeSet before vectorise not after

  acl-cqc

  committed
  7c20289

  Copy full SHA for 7c20289

Commits on Dec 9, 2024

• (Try to) merge remote-tracking branch 'origin/holes' into inference-wip/fork

  acl-cqc

  committed
  e6e37a9

  Copy full SHA for e6e37a9