aboutsummaryrefslogtreecommitdiff
path: root/frontend/frontend.icl
AgeCommit message (Expand)AuthorFilesLines
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-14 20:31:54 +0000