Code

feat: recursion support#87

Code

Open

polvalente wants to merge 10 commits intofika-lang:mainfika-lang/fika:mainfrom polvalente:feat/recursion-supportpolvalente/fika:feat/recursion-supportCopy head branch name to clipboard

+610-52

Commits

Commits on Mar 6, 2021

• feat: start bringing features from other branch

  polvalente

  committed
  3095932

  Copy full SHA for 3095932

• feat: make first-pass loop inference work

  polvalente

  committed
  07fb031

  Copy full SHA for 07fb031

• feat: introduce TypeChecker.Env struct for better manipulation of env

  polvalente

  committed
  60ea42f

  Copy full SHA for 60ea42f

• feat: unwrap loops from inside unions

  polvalente

  committed
  96139f2

  Copy full SHA for 96139f2

• feat: ensure top level functions are not inferred as loops

  polvalente

  committed
  f9f2d9a

  Copy full SHA for f9f2d9a

• wip: make type checker tests work for inference as well as checking

  polvalente

  committed
  eeb495a

  Copy full SHA for eeb495a

Commits on Mar 7, 2021

• fix cycle-finding

  polvalente

  committed
  c966074

  Copy full SHA for c966074

• fix: apply some fixes

  polvalente

  committed
  4ca3b1d

  Copy full SHA for 4ca3b1d

Commits on Mar 8, 2021

• chore: revert env struct

  polvalente

  committed
  736fc70

  Copy full SHA for 736fc70

• fix: use correct type in test module definition

  polvalente

  committed
  53efffa

  Copy full SHA for 53efffa