aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2000-09-12small bugfixmartinw1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@211 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-12small bugfixmartinw1-0/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@210 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-29adjusted treatment of lazy and strict array functionssjakie2-12/+36
bugfix in scanner: reals were not treated correctly git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@209 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-21no messagemartijnv2-7/+38
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@208 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-18*** empty log message ***martinw1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@207 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv5-10/+46
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@206 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-16restoring revision 1.35, revision 1.36 was unintendedmartinw1-190/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@205 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-16ConsVariables were not handled correctly within improved type error messagesmartinw4-20/+233
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@204 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-15adding "list inferred types" optionmartinw1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@203 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw17-226/+434
of "v314", case defaults and guards now also have file position information. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@202 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-10added position information to case defaults to improve type error messagesmartinw9-52/+122
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@201 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-09added position information to case alternatives and changed the typingmartinw6-96/+281
algorihm so that typing error messages can indicate the alternative in which the error occured. Before, these error messages always located the first alternative/function type git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@200 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-07removing superfluous constructormartinw2-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@199 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-04bugfix: types that were associated with case and let expressions were notmartinw1-29/+30
specialized correctly during fusion git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@198 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-02comment MW3 removed; minor improvementssjakie3-78/+32
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@197 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-01improving error messagesmartinw14-88/+245
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@196 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-01bug fix: curried type synomyms are forbiddensjakie1-4/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@195 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-01forgotten te remove debugging statementssjakie1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@194 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-01bug fix in merging casessjakie1-46/+97
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@193 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-14De predefined symbols worden in check.icl aangepast. Hetmartijnv1-0/+3
nieuwe PD_coerce-symbool werd nog niet aangepast. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@192 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-14Removed back end spelling inconsistencies (except for syntax:BackendBody, ↵clean4-70/+74
which will vanish when cases are implemented in the back end) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@191 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-14Removed MW commentsclean4-183/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@190 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-12clean 1.3.3 backend again againclean97-0/+48806
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@189 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-12changes to avoid bug in module refmark when compiling compiler with itselfmartinw1-0/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@188 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-11fixed bug in 'case_is_partial'clean1-2/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@187 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-11Fixed call to changed front end interfaceclean1-7/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@186 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-11Fixed call to changed frontend interfaceclean1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@185 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean6-53/+141
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@184 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-10optimised consequence checking for explicit importsmartinw3-448/+421
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@183 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-10Restore correct versionclean1-75/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@182 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-04labels global function names without ";n" extensionclean6-57/+81
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@181 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-03removing trace statementmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@180 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-03no messageclean4-10/+83
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@179 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-03no messageclean4-9/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@178 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-21solving the problem of strict aliases. Now a strict aliasmartinw10-85/+355
#! x = y will be transformed into #! x = _dummyForStrictAlias y while checking. The new predefined symbol _dummyForStrictAlias has the type of the identity function. This application will be removed in the backend conversion phase. In this case x and y will simply get the same sequence number (see module backendpreprocess). Then the binding can be ignored. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@177 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-21bugfix: not only STE_Imported appears in dcls_explicit (and dcls_import?) butmartinw1-15/+19
also STE_Macro. This showed up after a list comprehenshion that matched on STE_Imported was transformed into a function with that pattern git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@176 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-20reduce memory allocationclean7-61/+246
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@175 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-20no messageclean1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@174 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-20re-adding dead versionmartinw1-0/+1015
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@173 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-20no messageclean1-1015/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@172 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-16now the same type unification algorithm is used for inlining dictionariesmartinw1-75/+8
and the other producers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@171 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-16added error message "not a record constructor", e.g. in the following case:martinw1-0/+3
:: T :== Int f = { T | f1 = blub } git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@170 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-16accepting JVG's changesmartinw2-25/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@169 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-16changes in to make compiler self compatiblemartinw6-2/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@168 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-16small changes to reduce memory allocationclean6-16/+69
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@167 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-16fix another bug in boolean cases that may failclean1-30/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@166 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-15MW once added a macro called "SwitchUniquenessBug", Sjaak also added a macromartinw4-8/+2
"PA_BUG" for the same purpose. MW removes his macro _untertaenig_ in favour of Sjaaks version git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@165 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-15update of dictionary typessjakie7-101/+131
Peter's bug removed git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@164 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-14correcting tiny change of previous revisionmartinw1-2/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@163 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-14bugfix: the compiler was unable to deal with macros that called a localmartinw1-2/+7
function that had the same name as the macro: ////////// module t5 import t6 Start = f f ///////// definition module t6 f x :== f x where f x = x ///////// caused an abort git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@162 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-10-31 10:43:21 +0000