aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2002-10-01minor changes in genericsalimarin7-41/+89
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1214 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-30improved case classificationdiederik1-179/+180
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1213 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-30add 'safe' to active case info for casefun generationdiederik5-41/+166
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1212 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-24introduce functions for fail expressions on non-root positionsronny1-1/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1211 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-24bug fix for: abstract or synonym type with different numberjohnvg1-36/+44
of arguments, synonym types with arguments in different order, for example T a b :== a -> b in dcl module and T b a :== a -> b in icl module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1210 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-24fix bug if a class is used in a type context before the classjohnvg2-63/+120
declaration, or when both are in different modules on a cycle. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1209 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-24removed ignored !johnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1208 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-24removed unused ts_td_infos field in two patternsjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1207 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-24removed second_of_2_tuple in mapStjohnvg2-14/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1206 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20fixed bug in mergecases for dynamics (result from a failed experiment)ronny1-4/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1205 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20moved var info definitions to the modules where they are usedronny5-27/+37
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1204 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20removed unnecessary exportsronny2-15/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1203 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20removed SK_GeneratedCaseFunction: it's not necessary any more, becauseronny4-7/+1
there are no function generated in convertDynamics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1202 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20switch to 2.0 syntax, remove duplicated definitions from icl modulesronny2-1626/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1201 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20switch to 2.0 syntax, remove duplicated definitions from icl modulesronny10-138/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1200 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-19bug fixed: check if overloading is solved in type codes, removed some unused ↵ronny1-50/+26
code git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1199 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-19fixed bugs caused by sharing of case and let info ptrs and using incorrect ↵ronny1-36/+25
case info ptr git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1198 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-19major rewrite dynamicsronny11-1256/+767
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1197 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-04Add SK_GeneratedCaseFunction for dynamic cases fixdiederik5-1/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1196 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-03store record.field name in descriptor for record fields instead of just the ↵johnvg2-15/+13
field name git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1195 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-02expand macros in dynamic expressionsronny1-0/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1194 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-27Added FailExpr noderonny3-0/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1193 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-23remove record fields: ui_convert_module_n and ui_conversion_tablejohnvg2-10/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1192 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-23the partitionate and lift functions in transform no longer usejohnvg1-12/+12
the DclModule array git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1191 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-23remove record fields: ui_convert_module_n, ui_conversion_table,johnvg2-169/+126
es_main_dcl_module_n, es_dcl_modules and es_expand_in_imp_module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1190 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-22disable trace statementronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1189 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-22transform implicit cases on rhs variables, see comment before splitCases in ↵ronny3-56/+642
convertcases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1188 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-07Add partitioning variantsdiederik2-0/+484
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1187 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-07Move partitioning to separate modulediederik4-93/+99
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1186 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-07Add consumer annotations changed flag to reanalyseGroups result;diederik2-17/+68
Make all dictionary arguments active git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1185 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-01fix curried constructor applicationsdiederik1-0/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1184 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-01inline trivial functions and optionally constant functionsdiederik1-17/+213
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1183 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-01add and use consumer_is_curried information to producer determinationdiederik1-29/+55
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1182 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-30improved type annotations from build_application_type;diederik1-6/+100
better names for curried producers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1181 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-30specialize when special availablediederik1-14/+112
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1180 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-29add removing unused function arguments to fusiondiederik1-15/+31
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1179 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-29fixes for removing unused function argumentsdiederik1-8/+36
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1178 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-29move typedefs from trans to syntax; allow for uncurried instances; fix ↵diederik6-10/+18
compare for PR_Unused git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1177 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-29add to exports for unused strict let removal after fusiondiederik1-0/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1176 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-29optimise (normal) selection from known recordsdiederik1-7/+28
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1175 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-25fix typodiederik1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1174 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-25extend for reclassifydiederik2-111/+678
improve refcounts for case git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1173 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-25make args for which specials exist activediederik1-0/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1172 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-25add collectVariable instance for Dictionaries for consumer reanalysisdiederik1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1171 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-25rename consumer classifications and add CUnuseddiederik4-58/+82
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1170 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-25add PR_Unused for unused function argumentsdiederik2-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1169 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-24minor code reorganisationdiederik1-283/+316
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1168 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-24improved producer classificationdiederik1-39/+125
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1167 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-24move consumer classification to separate modulediederik4-585/+613
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1166 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-22repair a bug introduced in revision 1.57: add the list ofjohnvg1-5/+2
specials for instances to the array of instances of a dcl module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1165 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d