aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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
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-21version number for releaseronny4-5/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@959 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-5/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@957 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-20add missing ()'s in test for strict list structorjohnvg2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@954 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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 19:10:46 +0000