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

nanavati wants to merge 4 commits into

B-Lang-org:mainB-Lang-org/bsc:mainfrom

nanavati:tycon-drift-checknanavati/bsc:tycon-drift-checkCopy head branch name to clipboard