Code

add while to matchless#1299

Code

Merged

johnynek merged 6 commits intomainjohnynek/bosatsu:mainfrom oscar/20241207-add_while_matchlessjohnynek/bosatsu:oscar/20241207-add_while_matchlessCopy head branch name to clipboardDec 7, 2024

+410-379

Commits

Commits on Dec 7, 2024

• checkpoint with MatchlessToValue working

  johnynek

  committed
  7935270

• get while loop in python compiling

  johnynek

  committed
  aa505de

• checkpoint

  johnynek

  committed
  b9231cb

• re-enable tests

  johnynek

  committed
  89e6c55

• fix tests

  johnynek

  committed
  a233384

• polish

  johnynek

  committed
  0db54bc