aboutsummaryrefslogtreecommitdiff
path: root/frontend/checkKindCorrectness.dcl
AgeCommit message (Expand)AuthorFilesLines
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-2/+2
2001-05-14new phase between analTypeDefs and typingmartinw1-0/+6