aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2001-12-11pass SymbIdent instead of Ident to requirements_of_args tojohnvg1-3/+3
prevent boxing the Ident for each argument git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@923 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-11import StdClass instead of StdEnvjohnvg1-2/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@922 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-11heap module with smaller pointers.johnvg2-0/+161
read and write functions do not check whether the pointer belongs to the heap passed as argument. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@921 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg18-366/+401
added BVInt removed symb_arity from SymbIdent git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-04forgot to some definitions to exportmartijnv1-0/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@917 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-03bug fix: uniqueness error in nested record/array updatesronny5-45/+87
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@916 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-03work around for 2.0 compiler bugronny1-0/+7
predefined_idents is not parsed as a CAF because of the #-definitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@915 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-03removed unused field (to make the module compilable with Clean 2.0)ronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@914 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-30store predefined identifiers in CAFjohnvg19-632/+708
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@912 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-30store predefined identifiers in CAFjohnvg1-5/+5
initPtr modifies the *World git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@911 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-30initPtr modifies the *Worldjohnvg1-1/+3
empty cache if compilation fails git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@910 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-30initPtr modifies the *Worldjohnvg2-1/+23
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@909 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-29different representation of selector kind in Selectionronny8-37/+51
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@908 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-26assorted parse/scan bug fixesronny5-67/+97
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@906 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-26fix explicit imports of cached modulesjohnvg4-45/+138
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@903 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-23removed various commentsronny1-170/+57
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@902 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-21new explicit import syntaxjohnvg10-4/+42
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@901 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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-19Changes:martijnv9-83/+228
* 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-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-01pass strictness information from C to Clean, print strict exported and all ↵ronny4-0/+26
types in Clean git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@877 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 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}},johnvg33-1906/+2156
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-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-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-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-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-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-04fail explicit casesronny1-1/+1
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
2001-10-04typo in error message;pieter1-108/+96
exclude =: and :== in local definitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@823 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04Context -> ScanContextpieter2-22/+28
various small things like operators of the form ::> git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@822 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d