Code

Refactor typechecker#612

Code

Merged

bakkot merged 12 commits intomaintc39/ecmarkup:mainfrom refactor-typecheckertc39/ecmarkup:refactor-typecheckerCopy head branch name to clipboardSep 18, 2024

+1,006-1,098

Commits

Commits on Sep 17, 2024

• breaking: declare engines >= 18

  bakkot

  committed
  42e1e28

  Copy full SHA for 42e1e28

• bump typescript, eslint, and related deps

  bakkot

  committed
  74cac89

  Copy full SHA for 74cac89

• fix lint errors

  bakkot

  committed
  24ed1d7

  Copy full SHA for 24ed1d7

• fix test-declarations, hopefully

  bakkot

  committed
  03066a3

  Copy full SHA for 03066a3

• pass offset into warn

  bakkot

  committed
  46dd432

  Copy full SHA for 46dd432

• move warn out of loop

  bakkot

  committed
  cddda73

  Copy full SHA for cddda73

• factor expression visitor out to top level

  bakkot

  committed
  b0d5bdf

  Copy full SHA for b0d5bdf

• move type logic to its own file

  bakkot

  committed
  bda4d4c

  Copy full SHA for bda4d4c

• split completion types in typechecker

  bakkot

  committed
  51095be

  Copy full SHA for 51095be

• move autolink below typecheck so typecheck runs sooner

  bakkot

  committed
  3b36e8b

  Copy full SHA for 3b36e8b

• union of normal completions -> normal completion of union

  bakkot

  committed
  3082e8c

  Copy full SHA for 3082e8c

• abrupt completions are simple

  bakkot

  committed
  0e610e6

  Copy full SHA for 0e610e6