aboutsummaryrefslogtreecommitdiff
path: root/frontend/frontend.icl
AgeCommit message (Expand)AuthorFilesLines
2001-09-06remove 'dcl_is_cashed'johnvg1-23/+17
2001-09-06added command line flag to enable genericsalimarin1-10/+23
2001-08-31use ArrayAndListInstances instead of range of function indicesjohnvg1-13/+32
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-3/+12
2001-07-12made compilable with Clean 2.0 by introducing a typed local functionronny1-6/+7
2001-06-28disable PA_bugjohnvg1-4/+4
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-7/+18
2001-06-14support for module system is added to genercisalimarin1-10/+43
2001-05-11checking the kinds of all function-, instance-, class- and member-typesmartinw1-4/+6
2001-05-08split convertcases in two modules (convertcases and convertimportedtypes)ronny1-1/+1
2001-05-08renamed convertCasesOfFunctionsIntoPatterns to convertCasesOfFunctionsronny1-1/+1
2001-05-03Flag to turn generics on and off (SupportGenerics), default offronny1-1/+1
2001-04-25added support for constructors (for toString like usage),alimarin1-1/+6
2001-03-22Sjaak: removed call to showComponentssjakie1-1/+1
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-1/+1
2001-03-15compiler frontend without writing tcl-filesmartijnv1-2/+2
2001-03-13Generics are added, but are disabled.alimarin1-5/+26
2001-03-08Normalizingmartijnv1-2/+2
2001-03-01- type files worden aangemaakt (buggy)martijnv1-17/+22
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-2/+2
2000-10-25return cache if compilation stops after a certain phase (for Maarten)johnvg1-7/+7
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-5/+9
2000-09-27removing trace statementmartinw1-1/+1
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-80/+104
2000-09-20now "list inferred types" can print attributes alsomartinw1-1/+1
2000-08-21no messagemartijnv1-7/+35
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-5/+6
2000-08-01improving error messagesmartinw1-1/+1
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-47/+88
2000-07-04labels global function names without ";n" extensionclean1-0/+2
2000-07-03no messageclean1-1/+1
2000-07-03no messageclean1-1/+1
2000-06-16small changes to reduce memory allocationclean1-0/+7
2000-04-26Merge Martin/ Sjaak & Ronny branchesclean1-5/+5
2000-04-26changes to make compiler compatible with itselfmartinw1-24/+12
2000-03-24bugfixesmartinw1-1/+2
2000-03-20*** empty log message ***sjakie1-6/+14
2000-02-15bug fix (unboxed arrrays of records)ronny1-1/+1
2000-02-09strictness annoation for fe_componentsronny1-4/+3
2000-02-07commit for Sjaak by RWSsjakie1-3/+3
1999-11-24unified main and frontendronny1-0/+184
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 19:59:14 +0000