Code

🕳️ ⛳ Type Holes#1

Code

Open

TOTBWF wants to merge 5 commits intomainRedPRL/stagedtt:mainfrom type-holesRedPRL/stagedtt:type-holesCopy head branch name to clipboard

+555-164

Commits

Commits on May 13, 2022

• fix: Silly miscalculation involving spans

  TOTBWF

  committed
  5bef7f2

  Copy full SHA for 5bef7f2

• Add syntax for holes, track spans, improve errors

  TOTBWF

  committed
  b056bf9

  Copy full SHA for b056bf9

Commits on May 14, 2022

• fix: README fix, disable unused tokens warning

  TOTBWF

  committed
  20ae9bb

  Copy full SHA for 20ae9bb

• feat: Add type holes to the core language

  TOTBWF

  committed
  5ddf74d

  Copy full SHA for 5ddf74d

• feat: expression codes, add def!, inference with known stage

  TOTBWF

  committed
  cdca12d

  Copy full SHA for cdca12d