Code

forbid kind loops#251

Code

Open

gelisam wants to merge 8 commits intomaingelisam/klister:mainfrom gelisam/forbid-kind-loopsgelisam/klister:gelisam/forbid-kind-loopsCopy head branch name to clipboard

+265-63

Commits

Commits on Oct 3, 2024

• forbid kind loops

  gelisam

  committed
  9373076

  Copy full SHA for 9373076

• drop support for ghc-8.10.7

  Show description for 16e2cec
  gelisam

  committed
  16e2cec

  Copy full SHA for 16e2cec

Commits on Oct 4, 2024

• occurs-check tests

  gelisam

  committed
  b80f2e9

  Copy full SHA for b80f2e9

• kind-level occurs-check

  gelisam

  committed
  2d9915d

  Copy full SHA for 2d9915d

Commits on Oct 21, 2024

• TypeOperators is now required for type equality (~)

  gelisam

  committed
  77d1889

  Copy full SHA for 77d1889

• typo in kind-level occurs-check

  Show description for 75e7928
  gelisam

  committed
  75e7928

  Copy full SHA for 75e7928

Commits on Oct 26, 2024

• Renumber

  Show description for 897dff9
  gelisam

  committed
  897dff9

  Copy full SHA for 897dff9

Commits on Oct 31, 2024

• SchemeVar newtype

  gelisam

  committed
  ca74546

  Copy full SHA for ca74546