aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2002-03-08make result of function build_inequalities strict to reducejohnvg1-0/+1
memory allocation by the compiler git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1051 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-08make result of function add_declaration strict to reducejohnvg1-2/+2
memory allocation by the compiler git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1050 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-08new backend versionronny3-156/+156
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1049 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-06bug fix in 'improved' tail recursion modulo cons optimisationjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1048 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-06improve tail recursion modulo cons optimisationjohnvg2-118/+163
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1047 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-05prevent compiler crash if too few members are specified injohnvg1-27/+37
the implementation module for an exported instance remove some ignored !'s git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1046 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-04fix tail recursion modulo cons optimisationjohnvg2-36/+49
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1045 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-04add RULE_TAIL_MODULO_CONS_ENTRY_MASKjohnvg1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1044 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-04add missing case for TAS constructor (for strict lists)johnvg1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1043 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-04Export proper new type of transformGroupsdiederik2-2/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1042 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28unbox record update function argumentsjohnvg2-185/+153
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1041 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28remove some code for debuggingjohnvg1-12/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1040 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28add unboxing of records for update functionjohnvg1-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1039 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28add unboxing of records in unboxed closures (for record updates)johnvg1-13/+50
prevent crash for cyclic strict record definitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1038 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28add UNBOX_UPDATE_FUNCTION_ARGUMENTSjohnvg1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1037 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28thunk lift u record selections and 0 arity constructorsjohnvg1-80/+187
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1036 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28compare record states when comparing strictnessjohnvg1-99/+112
improve adding arguments to higher order functions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1035 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28some bug fixes from Clean 1.3johnvg1-15/+93
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1034 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28convert record updates of multiple records into one update nodejohnvg1-12/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1033 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28fix bug in computing the conversion table for macros that appearjohnvg1-1/+1
only in the definition module (and not in the implementation module). git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1032 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-27fix bug: report error when the same constructor or memberjohnvg1-60/+98
appears in both the icl and dcl file but in types or classes with different names git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1031 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-26Bug fix: Dictionary arguments were not passed correctly to other dictionariessjakie1-0/+12
(b260202.icl) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1030 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-19Disable debugging tracesdiederik1-7/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1028 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-19Reorder functions and introduce state record for determine_argsdiederik1-967/+1177
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1027 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-15initialise number for failing case label for each compileronny1-4/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1026 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-15backend.cjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1025 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-15allow record update nodes with more than 2 argumentsjohnvg1-9/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1024 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-13work around for incorrect merging of cases (see source comment)ronny1-0/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1022 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-13don't try to read inline code from the abc file that isjohnvg1-1/+1
being generated git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1021 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-13fix bug in the reuse unique nodes optimisationjohnvg1-3/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1020 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-13compare strictness annotations of constructorsjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1019 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-13bug fix: convert higher-order arrow typesronny1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1018 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-12removed useless strictness annotationsronny3-8/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1017 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-11removed comments that marked various patchesronny1-128/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1016 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-11- creation of {PV,UPV,UV}_Placeholder instead of P_laceholder. See predefmartijnv5-110/+111
for more information. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1015 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-11small macintosh/clean 2.0 fixesdiederik5-4/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1014 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-11class type variables bugfixdiederik2-12/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1013 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-08removed function call of transform_patterns_to_case_and_guard_nodesjohnvg1-2/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1012 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-08fix bug in scope numbersjohnvg2-27/+53
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1011 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-08export and extend PrintState, add File parameter to PrintRulesjohnvg2-11/+35
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1010 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-08remove some unused codejohnvg1-3/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1009 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-08- change in strictness informationmartijnv5-69/+106
- each placeholder now has two arguments * In order to use dynamics, a new compiler, {static,dynamic}-linker and a new StdDynamicEnv are necessary. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1008 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-08add missing alternatives in equal_strictness_lists andjohnvg3-10/+22
move the function to module containers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1007 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-07- cosmetic changes: made some String-representation of type names symbolicmartijnv3-1/+9
for the dynamic linker. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1006 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-07fix bug for boolean cases with then or else expressions thatjohnvg1-6/+4
can fail and also have a default expression git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1005 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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 ATypejohnvg26-798/+1778
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 03:30:58 +0000