Track type equivalences - #97

Open

fantazio wants to merge 10 commits into

LexiFi:masterfrom

fantazio:eq_types

Commits on Aug 22, 2026

[docs][field_ctor] add missing limitations in toc
fantazio
committed
8969a29
[docs][field_ctor] add equal_types limitation
fantazio
committed
a2f60a8
[src][deadType] keep track of equivalent types
fantazio
committed
f49805e
[src][deadType] track equivalence through includes
fantazio
committed
35ef187
[src][deadType] track equivalence through module aliases
fantazio
committed
3ccb5ff
[examples][field_ctor] add all_internal eq_types
fantazio
committed
46d57c4
[src][deadType] handle internal type equivalences
fantazio
committed
33e836c

Commits on Aug 27, 2026

[src] cleanup export and type equivalence related code
fantazio
committed
c858a9f
[src] lazily setup load_path
fantazio
committed
4ab52f4
[docs][field_ctor] move `equal_types` to code_constructs
fantazio
committed
e48e903