Code

WIP: Copy Covariance from Arend(#851

Code

Closed

mio-19 wants to merge 13 commits intomainaya-prover/aya-dev:mainfrom Covarianceaya-prover/aya-dev:CovarianceCopy head branch name to clipboard

+256

Commits

Commits on Dec 23, 2022

• tyck: add CovarianceChecker class

  mio-19

  committed
  97337b6

  Copy full SHA for 97337b6

• tyck: add RecursiveDataChecker

  mio-19

  committed
  17b1646

  Copy full SHA for 17b1646

• tyck: add DataDecl.covariant

  mio-19

  committed
  5c9d4ae

  Copy full SHA for 5c9d4ae

• tyck: cleanup RecursiveDataChecker and add term to NonPositiveDataError

  mio-19

  committed
  1cf3588

  Copy full SHA for 1cf3588

• tyck: add StructField.covariant

  mio-19

  committed
  c47bc68

  Copy full SHA for c47bc68

• tyck: add ParametersCovarianceChecker

  mio-19

  committed
  e3c12b1

  Copy full SHA for e3c12b1

• tyck: ParametersCovarianceChecker handles PAppTerm

  mio-19

  committed
  fd1d250

  Copy full SHA for fd1d250

• misc: remove null

  mio-19

  committed
  8248a45

  Copy full SHA for 8248a45

• misc: cleanup

  mio-19

  committed
  f318ea0

  Copy full SHA for f318ea0

• misc: cleanup

  mio-19

  committed
  18d2961

  Copy full SHA for 18d2961

• misc: fix nullable

  mio-19

  committed
  c3e23b9

  Copy full SHA for c3e23b9

• misc: add null assert

  mio-19

  committed
  08c3993

  Copy full SHA for 08c3993

• misc: cleanup

  mio-19

  committed
  7f3d97b

  Copy full SHA for 7f3d97b