aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2000-08-02comment MW3 removed; minor improvementssjakie3-78/+32
2000-08-01improving error messagesmartinw14-88/+245
2000-08-01bug fix: curried type synomyms are forbiddensjakie1-4/+9
2000-08-01forgotten te remove debugging statementssjakie1-2/+2
2000-08-01bug fix in merging casessjakie1-46/+97
2000-07-14De predefined symbols worden in check.icl aangepast. Hetmartijnv1-0/+3
2000-07-14Removed back end spelling inconsistencies (except for syntax:BackendBody, whi...clean4-70/+74
2000-07-14Removed MW commentsclean4-183/+0
2000-07-12clean 1.3.3 backend again againclean97-0/+48806
2000-07-12changes to avoid bug in module refmark when compiling compiler with itselfmartinw1-0/+20
2000-07-11fixed bug in 'case_is_partial'clean1-2/+21
2000-07-11Fixed call to changed front end interfaceclean1-7/+4
2000-07-11Fixed call to changed frontend interfaceclean1-2/+2
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean6-53/+141
2000-07-10optimised consequence checking for explicit importsmartinw3-448/+421
2000-07-10Restore correct versionclean1-75/+8
2000-07-04labels global function names without ";n" extensionclean6-57/+81
2000-07-03removing trace statementmartinw1-1/+1
2000-07-03no messageclean4-10/+83
2000-07-03no messageclean4-9/+3
2000-06-21solving the problem of strict aliases. Now a strict aliasmartinw10-85/+355
2000-06-21bugfix: not only STE_Imported appears in dcls_explicit (and dcls_import?) butmartinw1-15/+19
2000-06-20reduce memory allocationclean7-61/+246
2000-06-20no messageclean1-1/+2
2000-06-20re-adding dead versionmartinw1-0/+1015
2000-06-20no messageclean1-1015/+0
2000-06-16now the same type unification algorithm is used for inlining dictionariesmartinw1-75/+8
2000-06-16added error message "not a record constructor", e.g. in the following case:martinw1-0/+3
2000-06-16accepting JVG's changesmartinw2-25/+1
2000-06-16changes in to make compiler self compatiblemartinw6-2/+20
2000-06-16small changes to reduce memory allocationclean6-16/+69
2000-06-16fix another bug in boolean cases that may failclean1-30/+16
2000-06-15MW once added a macro called "SwitchUniquenessBug", Sjaak also added a macromartinw4-8/+2
2000-06-15update of dictionary typessjakie7-101/+131
2000-06-14correcting tiny change of previous revisionmartinw1-2/+1
2000-06-14bugfix: the compiler was unable to deal with macros that called a localmartinw1-2/+7
2000-06-14now higher order function elimination works also for imported functionsmartinw1-14/+13
2000-06-14optimisation: compareDefImp now only compares those definitions that aremartinw3-16/+35
2000-06-14tiny change to make compiler compilable by itself (2.0 parser works eithermartinw1-1/+2
2000-06-13fixed bug in boolean case expressions of which first alt may failclean1-2/+13
2000-06-13bugfix: the type unification algorithm used to generate types for new functio...martinw1-97/+121
2000-06-09bugfix in trans. utilites: renaming of mapSt into map_st was necessary, other...martinw3-65/+69
2000-06-09Added preprocessor directives, so that one and the same source can bemartinw5-24/+56
2000-06-09predef.icl: StdDynamics has become StdDynamicmartijnv2-1/+6
2000-06-08JVG: changed mapSt function into macroclean2-1/+33
2000-06-06coercions added though not completemartijnv3-41/+58
2000-06-06see previous revisionmartinw1-3/+1
2000-06-06added simple hacky preprocessor facility. The following sourcemartinw2-12/+48
2000-06-05enabled higher order function elimination also for functions (producers)martinw4-134/+195
2000-06-05removed ---> applicationmartijnv1-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 16:14:28 +0000