aboutsummaryrefslogtreecommitdiff
path: root/frontend/checkKindCorrectness.dcl
AgeCommit message (Collapse)AuthorFilesLines
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@800 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06remove 'dcl_is_cashed'johnvg1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@758 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@482 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-14new phase between analTypeDefs and typingmartinw1-0/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@428 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d