aboutsummaryrefslogtreecommitdiff
path: root/frontend/checkKindCorrectness.icl
AgeCommit message (Collapse)AuthorFilesLines
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-1/+13
Fixed some bugs in generics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@559 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-29cleaning up: removing all these hopelessly silly long function namesmartinw1-49/+49
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@513 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-89/+172
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@482 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-14support for module system is added to genercisalimarin1-15/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@480 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01removed import of debug modulejohnvg1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@448 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-14new phase between analTypeDefs and typingmartinw1-0/+243
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@428 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-19 11:34:14 +0000