Code

Various bugfixes#155

Code

Closed

sezna wants to merge 13 commits intomainch-systems/petr:mainfrom alex/listsch-systems/petr:alex/listsCopy head branch name to clipboard

+1,602-497

Commits

Commits on Aug 3, 2024

• flatten TypeContext into the TypeChecker, and rename it to ConstraintGeneration

  sezna

  committed
  48acf4e

• start work on list

  sezna

  committed
  5272692

Commits on Aug 4, 2024

• wip: fix bindings, but need to sort out an infinite loop

  sezna

  committed
  153e9d3

• found the inf loop -- need to debug

  sezna

  committed
  2cd673f

• wip

  sezna

  committed
  d4ad938

Commits on Aug 5, 2024

• wip: identify problem in lowering}

  sezna

  committed
  cc53f33

• WIP: next up, manually trace IR on paper

  sezna

  committed
  c7c13a6

Commits on Aug 8, 2024

• Wip

  sezna

  committed
  ce609a1

Commits on Aug 12, 2024

• wip

  sezna

  committed
  05bc7b9

Commits on Aug 13, 2024

• wip

  sezna

  committed
  4826e6a

Commits on Aug 19, 2024

• wip

  sezna

  committed
  f90eac1

• resolve conflicts

  sezna

  committed
  7fd1d50

Commits on Aug 28, 2024

• further flesh out lowerer

  sezna

  committed
  a4ef18f