Code

Infer#284

Code

Merged

leissa merged 22 commits intomasterAnyDSL/MimIR:masterfrom inferAnyDSL/MimIR:inferCopy head branch name to clipboardFeb 12, 2025

+222-250

Commits

Commits on Feb 4, 2025

• wip: more type inference

  leissa

  committed
  e7b7182

  Copy full SHA for e7b7182

Commits on Feb 7, 2025

• Merge branch 'master' into infer

  leissa

  committed
  85a925a

  Copy full SHA for 85a925a

Commits on Feb 9, 2025

• refactoring

  leissa

  committed
  f2a6302

  Copy full SHA for f2a6302

• infer: better deal with extracts during type inference

  leissa

  committed
  1d352bf

  Copy full SHA for 1d352bf

Commits on Feb 10, 2025

• removed World::iinfer

  leissa

  committed
  ccef55d

  Copy full SHA for ccef55d

• refactor

  leissa

  committed
  c07d5f5

  Copy full SHA for c07d5f5

Commits on Feb 11, 2025

• World: make helpers private

  leissa

  committed
  1112786

  Copy full SHA for 1112786

Commits on Feb 12, 2025

• better placement of zonk

  leissa

  committed
  45daa10

  Copy full SHA for 45daa10

• cleanup

  leissa

  committed
  8abd518

  Copy full SHA for 8abd518

• cleanup

  leissa

  committed
  11c9ce8

  Copy full SHA for 11c9ce8

• zonking now only happens locally till next mut

  leissa

  committed
  b40c59b

  Copy full SHA for b40c59b

• bug fix

  leissa

  committed
  9bd036c

  Copy full SHA for 9bd036c

• cleanup

  leissa

  committed
  5654a38

  Copy full SHA for 5654a38

• cleanup

  leissa

  committed
  0761f18

  Copy full SHA for 0761f18

• cleanup

  leissa

  committed
  7e7dd96

  Copy full SHA for 7e7dd96

• cleanup

  leissa

  committed
  65d791d

  Copy full SHA for 65d791d

• remove code duplication

  leissa

  committed
  4c657d9

  Copy full SHA for 4c657d9

• cleanup

  leissa

  committed
  4aefa61

  Copy full SHA for 4aefa61

• cleanup

  leissa

  committed
  64c7f78

  Copy full SHA for 64c7f78

• small bug fix

  leissa

  committed
  b271063

  Copy full SHA for b271063

• removed debug output

  leissa

  committed
  2abb3d0

  Copy full SHA for 2abb3d0

• docs

  leissa

  committed
  d1b569f

  Copy full SHA for d1b569f