Code

Add pattern matching for records#108

Code

Merged

siddharth-krishna merged 8 commits intomainplow-technologies/inferno:mainfrom sidk-record-patsplow-technologies/inferno:sidk-record-patsCopy head branch name to clipboardMar 26, 2024

+150-6

Commits

Commits on Mar 24, 2024

• Add record pattern matching

  siddharth-krishna

  committed
  0b56a4a

  Copy full SHA for 0b56a4a

Commits on Mar 25, 2024

• Add eval; fix exhaustive; add tests

  siddharth-krishna

  committed
  b61b857

  Copy full SHA for b61b857

Commits on Mar 26, 2024

• Fix duplicate field error location

  siddharth-krishna

  committed
  35150d0

  Copy full SHA for 35150d0

• Fix insertCommentsIntoPat

  siddharth-krishna

  committed
  fb30623

  Copy full SHA for fb30623

• Bump

  siddharth-krishna

  committed
  cca0438

  Copy full SHA for cca0438

• Format

  siddharth-krishna

  committed
  198174d

  Copy full SHA for 198174d

• Fix flaky test

  siddharth-krishna

  committed
  2a1d895

  Copy full SHA for 2a1d895

• Slip in an inferTypeReps test

  siddharth-krishna

  committed
  5dc62fd

  Copy full SHA for 5dc62fd