Code

Fix long bug in error regions#1049

Code

Merged

johnynek merged 3 commits intomasterjohnynek/bosatsu:masterfrom oscar/20230918_improve_error_locationsjohnynek/bosatsu:oscar/20230918_improve_error_locationsCopy head branch name to clipboardSep 20, 2023

+791-385

Commits

Commits on Sep 19, 2023

• Fix long bug in error regions

  johnynek

  committed
  5f1a233

• add some more test coverage

  johnynek

  committed
  567a257

Commits on Sep 20, 2023

• add ExprTest

  johnynek

  committed
  66405c8