aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2001-11-21Bug fix: reference count analysis for dynamicssjakie1-3/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@895 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-20bug fix determination of exported funtionronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@894 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-19bug fix: initialisation of global strictness info (prevents crash with ↵ronny3-0/+3
second compile) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@893 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-19Changes:martijnv10-136/+231
* predef; replace *some* strings by macro's * small changes git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@892 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-19fix bug in exporting record labels for Dynamicsjohnvg1-7/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@891 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-09collecting fi_callsalimarin1-39/+86
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@886 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-08bug fix, symbol table was not cleaned up after a error in the types of a dcl ↵ronny1-1/+5
module this would give erroneous error reports and index out of range error when this dcl module was on a cycle git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@885 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-07bug fix (merge cases with unboxed and other list constructors)ronny1-2/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@884 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-07bug fix: do not merge nested explicit casesronny2-35/+43
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@883 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-06Bug fix: crashed with cyclic type classessjakie1-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@882 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-06removed conversion tablejohnvg1-9/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@881 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-02removed useless version check for coclmain (coclmain is not in a separate ↵ronny2-65/+3
libarary) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@880 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-01fix bug fix: no it also compilesronny1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@879 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-01bug fix: rule does not match when no --dump-args or --restore args is specified.ronny1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@878 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-01pass strictness information from C to Clean, print strict exported and all ↵ronny18-62/+695
types in Clean git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@877 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-01added --dump-args and --restore-args optionsronny1-4/+54
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@876 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-01removed useless selectionronny1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@875 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-01fixed strictness annotationronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@874 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-23Bug fix:attribute environments were not compared correctlysjakie1-2/+24
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@873 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-19higher-order kinded types in genericsalimarin1-4/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@872 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-19higher-order kinded types in genericsalimarin9-173/+525
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@871 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-19fix bug in renumbering of specialsjohnvg2-42/+33
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@870 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18make source code clean 2.0 compatiblejohnvg2-7/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@866 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18make source code clean 2.0 compatiblejohnvg1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@865 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18make source clean 2.0 compatiblejohnvg1-14/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@864 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg36-2060/+2213
remove conversion table, except for macros git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@863 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-17Bug fixes: too many error messages were printedsjakie1-3/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@859 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-17no messageronny1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@858 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-16don't add arguments to fail noderonny1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@852 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-16no messageronny1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@851 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-15Bug fixes: beauti... : alternative for TFA added.sjakie1-9/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@849 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-12add list cons symbols with arity<2 (for strict lists)johnvg1-40/+73
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@848 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-12added alternative for OverloadedListPatterns in producerRequirementsjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@847 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-12add <|- generator for overloaded lists againjohnvg3-14/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@846 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-12bind special idents (such as abort, undef from StdMisc) to the correct ↵ronny1-0/+2
identifiers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@845 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-12Fusion fixes; should terminate now.diederik1-79/+205
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@844 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-11Bug fixe: Printing type attributes: some of the attribute variables were ↵sjakie1-12/+18
wrongly displayed as anonymous git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@843 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-11Bug fix: type attributes of constructor variables are treated (more) uniformlysjakie1-0/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@842 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-08This commit was generated by cvs2svn to compensate for changes in r839,zweije1-16/+24
which included commits to RCS files with non-trunk default branches. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@840 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-08This commit was generated by cvs2svn to compensate for changes in r837,zweije1-1/+1
which included commits to RCS files with non-trunk default branches. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@838 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-08This commit was generated by cvs2svn to compensate for changes in r834,zweije3-6/+9
which included commits to RCS files with non-trunk default branches. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@835 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-08universally quantified attribute variables in typedefs addedsjakie9-104/+146
bug fix: combination of caching and omitted clasdefs git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@833 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-05generate and export all labels for records and constructors when ↵johnvg1-3/+3
ExportLocalLabels=True git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@831 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-05generate t label for strict records with module and record name when ↵johnvg1-8/+8
ExportLocalLabels=True git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@830 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-05Added existential attribute variables to type definitionssjakie4-85/+132
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@829 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-05bind special idents (such as abort, undef from StdMisc) to the correct ↵ronny9-12/+156
identifiers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@828 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04fail explicit casesronny12-25/+98
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@827 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04removed unused function makeCaseronny1-12/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@826 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04made merge_basic_pattern_with_patterns local function of merge_basic_patternsronny1-12/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@825 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04Oops, the previous commit contained an error in :== defspieter1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@824 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d