Skip to content

Verify handwritten tycon constants against the Prelude (tconcheck); qualification-scoped tycon comparison#1046

Open
nanavati wants to merge 4 commits into
B-Lang-org:mainfrom
nanavati:tycon-drift-check
Open

Verify handwritten tycon constants against the Prelude (tconcheck); qualification-scoped tycon comparison#1046
nanavati wants to merge 4 commits into
B-Lang-org:mainfrom
nanavati:tycon-drift-check

Fix drifted handwritten tycon constants found by tconcheck

1122268
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check: code cleanliness
succeeded Jul 14, 2026 in 6s