aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2002-01-21bug fix: unused dynamics were not recursively removed from fi_dynamicsmartijnv1-3/+13
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@973 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-21bug fix: fold2St cannot deal with inifinite listsmartijnv1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@972 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-21bug fix: the let for a ModuleID was generated *after* copyExpression whichmartijnv1-54/+55
assumes that all variables are defined. For the time being the let is generated for each function containing dynamics. In some special cases this is super- fluous. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@971 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-18removed unused undefined record field, to make the module compilable with ↵ronny1-1/+1
Clean 2 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@970 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-17added a constructor and a destructor function for type string which containsmartijnv2-2/+36
a type name and a module name. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@969 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-17Bug fix: Scopes in dynamicssjakie12-139/+124
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@968 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-16added default alternatives for functions 'is_lazy_or_strict_array'johnvg1-0/+4
and 'is_lazy_or_strict_list' to prevent a compiler crash when a list or array is used in special with an undefined variable git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@967 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-11bug fix, print brackets in types (reapplication of bug fix revision 1.55 ↵ronny1-3/+9
that was removed in 1.56) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@966 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-10bug fix: move merge cases to transform, because it assumes local funcitonsronny2-45/+50
are lifted git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@965 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-20addition to previous bug fix (by Sjaak): support for dynamic en overloaded ↵ronny1-23/+11
list patterns git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@958 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-20remove RWSDebug dependencyronny1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@956 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-20remove RWSDebug dependencyronny1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@955 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-20bugfix (by Sjaak) in reference countingronny3-361/+446
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@953 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-19fix pattern does not match error in function ↵johnvg1-0/+1
add_decons_call_for_overloaded_lists git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@952 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-19bug fix for previous bug fixronny1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@951 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-18permit .tcl-file to be generated from a main.prjmartijnv1-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@949 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-18bug fix: allow local functions with no arguments and a code block rhsronny1-7/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@946 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-18restored cocl.prj, compilerSwitches.{icl,dcl} because the cvs-versionsmartijnv2-2/+2
were overwritten by accident. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@945 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-18no messagemartijnv2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@944 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-17implement pattern matching of strict, unboxed and overloaded listsjohnvg2-18/+45
in let, with and where expressions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@942 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-17solved multiple defined moduleIDs in letsmartijnv2-60/+69
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@940 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-17(partial) bug fix, order of class definition and context in another classronny1-4/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@939 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg16-76/+78
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13Lifting of dynamic expressions repairedsjakie1-0/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@934 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12removed work around for 2.0 compiler bugronny1-7/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@933 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12don't allow strict #! lets in macro bodiesronny1-2/+103
make top-level cases in macros explicit git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@932 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12enter new scope when checking rhs of nodedefsronny1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@931 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12fixed bugs in merging explicit casesronny2-30/+22
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@930 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12enforce that CAFs are non-uniqueronny2-10/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@929 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12inlined simple code_block_allowed functionronny1-5/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@928 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12don't allow local nodedefs (defined with =:) with a specified typeronny4-22/+36
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@927 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12enforce consistency of defining symbols in rhsronny1-65/+118
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@926 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12removed RWSDebug importronny1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@925 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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