Repository navigation

Order tags structurally and require unique tags in nested Duals - #853

Draft

devmotion wants to merge 8 commits into

dmw/order-free-tags

Commits on Sep 24, 2026

Extract values and partials irrespective of the nesting order

devmotion
and
claude
committed
3890c8c
Deprecate accessors without a tag and require tags to be types

devmotion
and
claude
committed
ab28a5d
Order tags structurally instead of by definition count

devmotion
and
claude
committed
b46279a

Commits on Sep 28, 2026

Require the tags of nested `Dual`s to be unique

devmotion
and
claude
committed
da25733
Test precompilation and deserialization of tags (#714, #801, #320)

devmotion
and
claude
committed
6211114

Commits on Sep 29, 2026

Fix constructors for abstract value types, promote without throwing, and cover new lines

devmotion
and
claude
committed
b3f4379
Keep greater tags outside when seeding

devmotion
and
claude
committed
c0bed6e
Require a concrete value type in `Dual`s

devmotion
and
claude
committed
8fdf29f