Code

Pure pattern-matching#152

Code

Merged

ppolesiuk merged 6 commits intomasterfram-lang/dbl:masterfrom 149-pure-pattern-matchingfram-lang/dbl:149-pure-pattern-matchingCopy head branch name to clipboardNov 19, 2024

+461-122

Commits

Commits on Oct 26, 2024

• Effect of matching stored in TData types in Core

  Show description for fdf85bf
  ppolesiuk

  committed
  fdf85bf

  Copy full SHA for fdf85bf

Commits on Oct 27, 2024

• Strictly positively recursive types in Core

  Show description for d78c197
  ppolesiuk

  committed
  d78c197

  Copy full SHA for d78c197

Commits on Nov 2, 2024

• Strictly positively recursive types in Unif

  ppolesiuk

  committed
  35e0b2b

  Copy full SHA for 35e0b2b

Commits on Nov 3, 2024

• Strictly positive recursive types in TypeInference

  ppolesiuk

  committed
  b8de3e8

  Copy full SHA for b8de3e8

• Pure pattern matching

  ppolesiuk

  committed
  d7aa557

  Copy full SHA for d7aa557

Commits on Nov 19, 2024

• Updated test ok0079_impureMethod.fram

  ppolesiuk

  committed
  9f73b80

  Copy full SHA for 9f73b80