aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 11:19:05 +0000