Code

cleanup parsing ptrns:#281

Code

Merged

leissa merged 4 commits intomasterAnyDSL/MimIR:masterfrom feature/ptrnAnyDSL/MimIR:feature/ptrnCopy head branch name to clipboardJan 14, 2025

+423-397

Commits

Commits on Nov 1, 2024

• cleanup parsing ptrns:

  Show description for e702361
  leissa

  committed
  e702361

  Copy full SHA for e702361

• removed backtick

  Show description for 8c5b3f3
  leissa

  committed
  8c5b3f3

  Copy full SHA for 8c5b3f3

Commits on Nov 2, 2024

• use proper alias pattern instead of [...]::id

  leissa

  committed
  8df09f8

  Copy full SHA for 8df09f8

• parser: move special handling of axioms from ptrn to let

  leissa

  committed
  81121d8

  Copy full SHA for 81121d8