Code

feat: Recursive datatypes#1337

Code

Draft

scolsen wants to merge 15 commits intocarp-lang:mastercarp-lang/Carp:masterfrom scolsen:rectypescolsen/Carp:rectypeCopy head branch name to clipboard

+1,115-184

Commits

Commits on Oct 13, 2021

• refactor: add a data type for type validation

  Show description for df39477
  scolsen

  committed
  df39477

  Copy full SHA for df39477

• feat: initial support for recursive product types

  Show description for 2205f4f
  scolsen

  committed
  2205f4f

  Copy full SHA for 2205f4f

Commits on Oct 14, 2021

• feat: manage recursive product type memory

  Show description for aa56369
  scolsen

  committed
  aa56369

  Copy full SHA for aa56369

Commits on Oct 18, 2021

• fix: initialize recursive types on the stack

  Show description for 284533a
  scolsen

  committed
  284533a

  Copy full SHA for 284533a

• fix: fix memory error for recursive type str and prn functions

  Show description for 171f292
  scolsen

  committed
  171f292

  Copy full SHA for 171f292

• fix: fix memory leak for recursive structs

  Show description for 4af9259
  scolsen

  committed
  4af9259

  Copy full SHA for 4af9259

Commits on Oct 25, 2021

• feat: initial box type, indirect recursion

  Show description for f35761f
  scolsen

  committed
  f35761f

  Copy full SHA for f35761f

• feat: support direct recursion sugar for concrete sumtypes

  Show description for 4a28127
  scolsen

  committed
  4a28127

  Copy full SHA for 4a28127

• Merge branch 'master' of https://github.com/carp-lang/Carp into rectype

  scolsen

  committed
  c01106b

  Copy full SHA for c01106b

• feat: enable match to handle direct recursion

  Show description for 0adbf44
  scolsen

  committed
  0adbf44

  Copy full SHA for 0adbf44

Commits on Oct 26, 2021

• fix: don't generate getters for dummy fields

  Show description for 321b112
  scolsen

  committed
  321b112

  Copy full SHA for 321b112

• fix: exclude generic types from recursivity checks

  Show description for 6ada67d
  scolsen

  committed
  6ada67d

  Copy full SHA for 6ada67d

Commits on Oct 27, 2021

• refactor: alter type candidate, use it as an interface boundary

  Show description for a0c884b
  scolsen

  committed
  a0c884b

  Copy full SHA for a0c884b

Commits on Oct 29, 2021

• fix: box templates

  hellerve

  committed
  ef110a3

  Copy full SHA for ef110a3

• Merge pull request #1 from hellerve/veit/recursive

  Show description for eb9fce4
  scolsen

  authored
  eb9fce4

  Copy full SHA for eb9fce4