Code

Alternative extractor implementation#116

Code

Merged

gafter merged 38 commits intomainJuliaServices/Match.jl:mainfrom nn-extract-typeJuliaServices/Match.jl:nn-extract-typeCopy head branch name to clipboardNov 25, 2024

+322-42

Commits

Commits on Nov 12, 2024

• Basic extractors

  nystrom

  committed
  96108f2

  Copy full SHA for 96108f2

Commits on Nov 13, 2024

• minor fix

  nystrom

  committed
  44bd65f

  Copy full SHA for 44bd65f

• nested extractor test

  nystrom

  committed
  505900e

  Copy full SHA for 505900e

• Explicit AST for extractor fetch

  nystrom

  committed
  515e886

  Copy full SHA for 515e886

• PR comment

  nystrom

  authored
  b227f33

  Copy full SHA for b227f33

• Merge branch 'main' into nn-extract

  gafter

  authored
  2bfd172

  Copy full SHA for 2bfd172

Commits on Nov 14, 2024

• improved diags

  nystrom

  committed
  9d1e9cc

  Copy full SHA for 9d1e9cc

• alternative extractor design

  nystrom

  committed
  73d1a24

  Copy full SHA for 73d1a24

• more tests

  nystrom

  committed
  dc165a2

  Copy full SHA for dc165a2

• Expand extractor readme

  nystrom

  committed
  e32db40

  Copy full SHA for e32db40

• readme fixes

  nystrom

  committed
  a49ed7a

  Copy full SHA for a49ed7a

• readme tweak

  nystrom

  committed
  8ee738d

  Copy full SHA for 8ee738d

• cleanup

  nystrom

  committed
  02cba8f

  Copy full SHA for 02cba8f

• test error message

  nystrom

  committed
  8e594d5

  Copy full SHA for 8e594d5

• fix hash

  nystrom

  committed
  2b611b4

  Copy full SHA for 2b611b4

• make type and extractor mutually exclusive

  nystrom

  committed
  8cd29d0

  Copy full SHA for 8cd29d0

• fix readme for new extractor semantics

  nystrom

  committed
  47e008c

  Copy full SHA for 47e008c

Commits on Nov 15, 2024

• support named tuples

  nystrom

  committed
  8756f8b

  Copy full SHA for 8756f8b

Commits on Nov 16, 2024

• remove named tuples support

  nystrom

  committed
  4ce7d70

  Copy full SHA for 4ce7d70

• remove more named tuples

  nystrom

  committed
  1ea128d

  Copy full SHA for 1ea128d

Commits on Nov 18, 2024

• remove try_bind_type

  nystrom

  committed
  aab8476

  Copy full SHA for aab8476

• coverage for pretty-printing extract

  nystrom

  committed
  cbefcc4

  Copy full SHA for cbefcc4

• fix test for 1.11

  nystrom

  committed
  06cb952

  Copy full SHA for 06cb952

• fix readme

  nystrom

  committed
  f11d5ea

  Copy full SHA for f11d5ea

Commits on Nov 20, 2024

• cleanup tests

  nystrom

  committed
  1398564

  Copy full SHA for 1398564

Commits on Nov 21, 2024

• lookup extractors by arity

  nystrom

  committed
  9496b28

  Copy full SHA for 9496b28

• fix readme for extractors

  nystrom

  committed
  c3ee22d

  Copy full SHA for c3ee22d

• lowering for extractors with arity

  nystrom

  committed
  e9c35e0

  Copy full SHA for e9c35e0

• oops

  nystrom

  committed
  704c3da

  Copy full SHA for 704c3da

Commits on Nov 22, 2024

• minor cleanup

  nystrom

  committed
  4a34131

  Copy full SHA for 4a34131

Commits on Nov 24, 2024

• improve error message when extractor not defined

  nystrom

  committed
  bc5bc5f

  Copy full SHA for bc5bc5f

• remove unused type

  nystrom

  committed
  33b3606

  Copy full SHA for 33b3606

• delete comment

  nystrom

  committed
  bd34946

  Copy full SHA for bd34946

• error message tests

  nystrom

  committed
  5ac33ca

  Copy full SHA for 5ac33ca

• PR comments

  nystrom

  committed
  62ae036

  Copy full SHA for 62ae036

• fix docstring

  nystrom

  committed
  0672110

  Copy full SHA for 0672110

• remove .

  nystrom

  committed
  87e9fc3

  Copy full SHA for 87e9fc3

• bump version

  nystrom

  committed
  f1d2b3c

  Copy full SHA for f1d2b3c