feat!(ltk_ritobin): AST - #185

Merged

Crauzer merged 70 commits into

mainfrom

Sep 7, 2026

Commits on Aug 30, 2026

wip

alanpq
authored and
Crauzer
committed
41b9122
wip: ast bench

alanpq
authored and
Crauzer
committed
048e0b2
wip: port tests

alanpq
authored and
Crauzer
committed
c345c45
wip: refactor

alanpq
authored and
Crauzer
committed
6932ce1
wip: make ast default on

alanpq
authored and
Crauzer
committed
e1911f1
wip: fix

alanpq
authored and
Crauzer
committed
a39d3df
feat: impl DIsplay for AstValue

alanpq
authored and
Crauzer
committed
a3bbb12
feat: better ast query api

alanpq
authored and
Crauzer
committed
9090106
fix: derive some debug/clone + add NodeKind

alanpq
authored and
Crauzer
committed
99a05e2
feat: ast visitor

alanpq
authored and
Crauzer
committed
97b2d74
feat: even better ast query api

alanpq
authored and
Crauzer
committed
7cb12cf
fix: to_bin_value api

alanpq
authored and
Crauzer
committed
73ec8c1
wip

alanpq
authored and
Crauzer
committed
e8a6721
wip: begin typecheck kil

alanpq
authored and
Crauzer
committed
73adc3d
wip: gap fill

alanpq
authored and
Crauzer
committed
8e0bc08
typcheck is kil

alanpq
authored and
Crauzer
committed
a40b2eb
chore: lint

alanpq
authored and
Crauzer
committed
ee5ed7e
fix: new ast visitor semantics

alanpq
authored and
Crauzer
committed
811a52e
feat: useful traits for Spanned/Span

alanpq
authored and
Crauzer
committed
e126869
feat: richer hash literal struct, change astvalue enum

alanpq
authored and
Crauzer
committed
5441853
fix: don't unwrap when getting option subtype

alanpq
authored and
Crauzer
committed
e34f08f
chore: clippy

alanpq
authored and
Crauzer
committed
ee3b83e
refactor: move things around

alanpq
authored and
Crauzer
committed
59238dd
refactor: rename ast node struct names

alanpq
authored and
Crauzer
committed
82813cd
refactor!: new ast visitor api

alanpq
authored and
Crauzer
committed
c4419fa
refactor: small renames

alanpq
authored and
Crauzer
committed
abe8746
chore: cargo fix

alanpq
authored and
Crauzer
committed
12165ad
feat: move ChildrenExt & impl it for ChildRange

alanpq
authored and
Crauzer
committed
546c228
refactor: move coerce module

alanpq
authored and
Crauzer
committed
f263ce2
refactor: more moving

alanpq
authored and
Crauzer
committed
8a23766
refactor: more moves & rename RootObject -> RootEntry

alanpq
authored and
Crauzer
committed
bef269e
refactor: move NodeRef::span

alanpq
authored and
Crauzer
committed
188b694
feat: useful Span methods/functions

alanpq
authored and
Crauzer
committed
6e3fb0a
wip: make ast more partial

alanpq
authored and
Crauzer
committed
196b79a
feat: add Unresolved value

alanpq
authored and
Crauzer
committed
5174770
test: tweak

alanpq
authored and
Crauzer
committed
51bea3c
fix: resolve null inside literal eval

alanpq
authored and
Crauzer
committed
6ace37a
feat: add Value::Unknown & RitoTypeOrVirtual::Unknown

alanpq
authored and
Crauzer
committed
35c04a7
test: put cst printing in build_errs behind flag

alanpq
authored and
Crauzer
committed
b1cccb0
feat: resolve_literal that returns Unknown/Unresolved

alanpq
authored and
Crauzer
committed
ab44f16
fix: don't remove ritobin subtypes that are impossible

alanpq
authored and
Crauzer
committed
efcd036
fix: check entire RitoType when validating entries

alanpq
authored and
Crauzer
committed
8199edf
test: add bad option coerce test

alanpq
authored and
Crauzer
committed
e69cf30
test: don't assert only 1 err for nested_container_fails

alanpq
authored and
Crauzer
committed
0be23e6
chore: fix/fmt

alanpq
authored and
Crauzer
committed
8448cdc
feat: allow unresolved type expressions in entry resolution

alanpq
authored and
Crauzer
committed
b13adf4
feat: add Span::contains_inclusive

alanpq
authored and
Crauzer
committed
a63d66e
fix: use contains_inclusive in path queries

alanpq
authored and
Crauzer
committed
0d898b9
fix: impl Copy for SubNodeRef

alanpq
authored and
Crauzer
committed
e5094d7
feat: SpannedExt helper trait

alanpq
authored and
Crauzer
committed
34be5bb
feat: better type expr handling for ast properties

alanpq
authored and
Crauzer
committed
d85e210
fix: better entry type expr span in fail cases

alanpq
authored and
Crauzer
committed
7b40446
refactor: rename leftovers from the Object/Struct/RootEntry renaming

alanpq
authored and
Crauzer
committed
d1dd37e
feat: Value::is_containerlike

alanpq
authored and
Crauzer
committed
287ceba
fix(ritobin)!: reject invalid map key types at the declaration
Crauzer
committed
106bddf
fix(ritobin): adapt to the 0.8.0 fallible map and optional constructors
Crauzer
committed
f3760dd
refactor(ritobin): ask is_valid_map_key for map key validity
Crauzer
committed
50a6e8a
refactor: reorder stuff in node::refs
alanpq
committed
0a1448a

Commits on Sep 3, 2026

feat: ritobin helper macro + other construction methods
alanpq
committed
1284635
feat(meta): promote methods on PropertyKind to const
alanpq
committed
e560e9b
wip: roots
alanpq
committed
43c116a
refactor: split into coerce_to & try_coerce_to
alanpq
committed
71d17fc
feat: Value::into_string
alanpq
committed
eaf758d
refactor: better ast root system
alanpq
committed
8adc33b
chore: fix
alanpq
committed
8b86db8
fix: make rito macro more hygenic
alanpq
committed
f13ac51
refactor
alanpq
committed
d3ee672
fix: replace old RootKind, remove unused struct
alanpq
committed
9a20394
fix: make query work again
alanpq
committed
e930f14
feat: ok actually good roots
alanpq
committed
7a24d23