Code

Improve Core parser error handling#3300

Code

Open

lukaszcz wants to merge 7 commits intomainanoma/juvix:mainfrom core-parser-errorsanoma/juvix:core-parser-errorsCopy head branch name to clipboard

+545-225

Commits

Commits on Jan 31, 2025

• Use CoreError for parser errors unrelated to parsing

  lukaszcz

  committed
  9afad92

  Copy full SHA for 9afad92

• fix tests

  lukaszcz

  committed
  0c57b7b

  Copy full SHA for 0c57b7b

• fix builtin parsing

  lukaszcz

  committed
  bd86c5a

  Copy full SHA for bd86c5a

• negative tests & match side-conditions fix

  lukaszcz

  committed
  0598159

  Copy full SHA for 0598159

• fix tests

  lukaszcz

  committed
  c23c88a

  Copy full SHA for c23c88a

• eval test for match side-conditions

  lukaszcz

  committed
  019885b

  Copy full SHA for 019885b

• fix detection of redundant patterns with sid-conditions

  lukaszcz

  committed
  cd969b0

  Copy full SHA for cd969b0