aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2002-02-07initialise st_args_strictness in unused function for Clean 2.0johnvg1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1004 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06fix bug when using type definition:johnvg1-1/+1
:: * I *a = { f :: !a } and: I *{String} in function type git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1003 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg24-732/+1618
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1002 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-3/+6
and remove annotations in generated functions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1001 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-04er worden nu universele type variabelen in de vorm van UP_laceHolder'smartijnv5-97/+117
genereerd voor types in dynamics. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1000 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-31remove RWSDebug importronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@999 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-30Ik heb helaas geen flauw idee, maar deze files weken af van wat ik zelf had.sjakie4-104/+129
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@995 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-23bug fix: adapted collect_used_dynamics which didn't eliminate all unusedmartijnv1-8/+8
dynamics. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@978 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-23small bug fix to check whether T_ypeID is availablemartijnv1-73/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@977 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-23bug fix: generate more type information in order to prevent the backend frommartijnv1-13/+105
generating wrong code. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@976 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-22fixed bug with (->): added clean_up for TArrowalimarin1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@975 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-21bug fix: unused dynamics were not recursively removed from fi_dynamicsmartijnv1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@974 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 06:22:01 +0000