aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2000-09-20no messagemartijnv1-103/+282
2000-09-13added position information for better error messagesmartinw5-33/+65
2000-09-13fixed following bug:martinw2-16/+13
2000-09-13bug fix: error in existentional typessjakie2-4/+13
2000-09-12small bugfixmartinw1-0/+1
2000-09-12small bugfixmartinw1-0/+9
2000-08-29adjusted treatment of lazy and strict array functionssjakie2-12/+36
2000-08-21no messagemartijnv2-7/+38
2000-08-18*** empty log message ***martinw1-0/+2
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv5-10/+46
2000-08-16restoring revision 1.35, revision 1.36 was unintendedmartinw1-190/+2
2000-08-16ConsVariables were not handled correctly within improved type error messagesmartinw4-20/+233
2000-08-15adding "list inferred types" optionmartinw1-2/+2
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw17-226/+434
2000-08-10added position information to case defaults to improve type error messagesmartinw9-52/+122
2000-08-09added position information to case alternatives and changed the typingmartinw6-96/+281
2000-08-07removing superfluous constructormartinw2-2/+0
2000-08-04bugfix: types that were associated with case and let expressions were notmartinw1-29/+30
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 16:14:21 +0000