IType: cache free type variables on interned nodes; prune tSubst#1055

Open

nanavati wants to merge 23 commits into

B-Lang-org:mainfrom

nanavati:itype-ftv-cache

Commits on Jul 15, 2026

Build ATF equivalence tycons from the canonical qualified id

nanavati
and
claude
committed
Give the handwritten List cons struct its true SDataCon sort

nanavati
and
claude
committed
Point split-port S0015 errors at the interface field being checked

nanavati
and
claude
committed
Thread class sort members through CIclass; keep SClass sorts package-independent

nanavati
and
claude
committed
ISyntax: replace SYB traversals with explicit ones

nanavati
and
claude
committed
Add tconcheck: verify handwritten tycon constants against the Prelude

nanavati
and
claude
committed
CType/IType: qualification-scoped tycon comparison, documented invariant

nanavati
and
claude
committed
Fix drifted handwritten tycon constants found by tconcheck

nanavati
and
claude
committed
Positions: retire updateITypePosition; heap-ref readers use poss

nanavati
and
claude
committed
IType: intern interior nodes behind pattern synonyms

nanavati
and
claude
committed
Retire normITAp: normalization is now the ITAp smart constructor

nanavati
and
claude
committed
ISyntaxCheck: identify commutative tycons by name, not IdProp

nanavati
and
claude
committed
IType: verify intern hits under -trace-itype-intern, not an env var

nanavati
and
claude
committed
BinData: key writer sharing maps by intern uniques; retire structural ITypeKey

nanavati
and
claude
committed
IType: strip positions and props from type-embedded Ids; seal the leaves

nanavati
and
claude
committed
Qualify ATF tycons at their origin; assert ITCon Ids are qualified

nanavati
and
claude
committed
testsuite: liftdicts writer-sharing tests move up-stack with LiftDicts

nanavati
and
claude
committed
testsuite: regold expected outputs for stripped type-embedded Id positions/props

nanavati
and
claude
committed
Key the IType intern tables by name/value instead of exact payloads

nanavati
and
claude
committed
Remove validated interning scaffolding and constant type-position reads

nanavati
and
claude
committed
IType: cache free type variables on interned nodes; prune tSubst

nanavati
and
claude
committed
IType: make the free-variable cache and tSubst pruning switchable (-hack-no-itype-ftv-cache)

nanavati
and
claude
committed
IType: intern the free-variable sets

nanavati
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

IType: cache free type variables on interned nodes; prune tSubst#1055

IType: cache free type variables on interned nodes; prune tSubst#1055
nanavati wants to merge 23 commits into
B-Lang-org:mainfrom
nanavati:itype-ftv-cache

Commits on Jul 15, 2026

Build ATF equivalence tycons from the canonical qualified id

Give the handwritten List cons struct its true SDataCon sort

Point split-port S0015 errors at the interface field being checked

Thread class sort members through CIclass; keep SClass sorts package-independent

ISyntax: replace SYB traversals with explicit ones

Add tconcheck: verify handwritten tycon constants against the Prelude

CType/IType: qualification-scoped tycon comparison, documented invariant

Fix drifted handwritten tycon constants found by tconcheck

Positions: retire updateITypePosition; heap-ref readers use poss

IType: intern interior nodes behind pattern synonyms

Retire normITAp: normalization is now the ITAp smart constructor

ISyntaxCheck: identify commutative tycons by name, not IdProp

IType: verify intern hits under -trace-itype-intern, not an env var

BinData: key writer sharing maps by intern uniques; retire structural ITypeKey

IType: strip positions and props from type-embedded Ids; seal the leaves

Qualify ATF tycons at their origin; assert ITCon Ids are qualified

testsuite: liftdicts writer-sharing tests move up-stack with LiftDicts

testsuite: regold expected outputs for stripped type-embedded Id positions/props

Key the IType intern tables by name/value instead of exact payloads

Remove validated interning scaffolding and constant type-position reads

IType: cache free type variables on interned nodes; prune tSubst

IType: make the free-variable cache and tSubst pruning switchable (-hack-no-itype-ftv-cache)

IType: intern the free-variable sets