Repository navigation

Enums - #376

Merged

LesterEvSe merged 18 commits into

feat/enum-sum-types

Jul 23, 2026

Commits on Jul 22, 2026

core: unstable: add enums variant and make recurse optional
KyrylR
committed
e180877
core: witness: relax check for vare witness values
KyrylR
committed
a4a3c15
core: lexer: register enum token
KyrylR
committed
82a4f19
core: parser: define variant, declaration, match, natch arm construction for enum
KyrylR
committed
b5c70d2
core: parser: add enum declaration to items and parse it
KyrylR
committed
ec97a64
core: driver: add checks that would temporarily disallow using enums in deps
KyrylR
committed
447de6b
core: ast: add match, match arm, and construction definitions
KyrylR
committed
6d5ed58
core: parser: aparse match arm and construction
KyrylR
committed
512310c
core: types: add variant info and base implementation in resolved type for enum
KyrylR
committed
69fc9f2
core: types: add enum variant to the type inner
KyrylR
committed
b45341f
core: value: add enum variant to the value inner
KyrylR
committed
4fdaa77
core: value: add ability to build enum variant
KyrylR
committed
7a86912
core: ast: handle enum declaration, match, and variant
KyrylR
committed
17967ea
core: compile: handle enum compilation via balance sum prop
KyrylR
committed
a8ba756
core: serde: adjust (de)serialization for enums
KyrylR
committed
a086830
examples: migrate last_will to use enums, adjust test harness
KyrylR
committed
dba037a
core: fuzz: generate enum declarations in arbitrary programs
KyrylR
committed
e777a40

Commits on Jul 23, 2026

parse: fix latent span-construction bug
KyrylR
committed
c242d08