aboutsummaryrefslogtreecommitdiff
path: root/frontend/checkKindCorrectness.icl
AgeCommit message (Expand)AuthorFilesLines
2001-09-06remove 'dcl_is_cashed'johnvg1-23/+11
2001-09-06removed usage of fun_indexalimarin1-0/+1
2001-08-28universally quantified types addedsjakie1-6/+14
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-1/+13
2001-06-29cleaning up: removing all these hopelessly silly long function namesmartinw1-49/+49
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-89/+172
2001-06-14support for module system is added to genercisalimarin1-15/+20
2001-06-01removed import of debug modulejohnvg1-1/+2
2001-05-14new phase between analTypeDefs and typingmartinw1-0/+243