Code

Recursive types#1894

Code

Merged

mergify[bot] merged 8 commits intomainswarm-game/swarm:mainfrom feature/recursive-typesswarm-game/swarm:feature/recursive-typesCopy head branch name to clipboardJun 6, 2024

+583-94

Commits

Commits on Jun 6, 2024

• equirecursive types

  byorgey

  committed
  aa5f290

  Copy full SHA for aa5f290

• typechecking for equirecursive types

  byorgey

  committed
  2e799b0

  Copy full SHA for 2e799b0

• better error messages for infinite type errors

  byorgey

  committed
  e65d86d

  Copy full SHA for e65d86d

• Recursive types example

  byorgey

  committed
  fb97acb

  Copy full SHA for fb97acb

• another recursive types example

  byorgey

  committed
  9aef501

  Copy full SHA for 9aef501

• recursive type unit tests

  byorgey

  committed
  6456a85

  Copy full SHA for 6456a85

• check for vacuous recursive types

  byorgey

  committed
  b023c5c

  Copy full SHA for b023c5c

• update editor configs for rec keyword

  byorgey

  committed
  faeb898

  Copy full SHA for faeb898