Code

Remove type parameters from Typ.t#856

Code

Merged

dannywillems merged 6 commits intomastero1-labs/snarky:masterfrom feature/abstract-over-cvaro1-labs/snarky:feature/abstract-over-cvarCopy head branch name to clipboardDec 19, 2024

+140-162

Commits

Commits on Dec 16, 2024

• Remove orphan checked type

  mrmr1993

  committed
  2ad40c9

  Copy full SHA for 2ad40c9

• Carry a concrete field type

  mrmr1993

  committed
  b67815e

  Copy full SHA for b67815e

• Concretize Typ.t's field

  mrmr1993

  committed
  88c4784

  Copy full SHA for 88c4784

• Remove spurious 'field parameter from typ type

  Show description for a5aaca0
  mrmr1993

  committed
  a5aaca0

  Copy full SHA for a5aaca0

• Remove 'field and 'checked parameters from Typ.t hierarchy

  mrmr1993

  committed
  3bbcbaf

  Copy full SHA for 3bbcbaf

• Replace explicit Cvar.t with field_var

  mrmr1993

  committed
  7976856

  Copy full SHA for 7976856