aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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
2002-07-22removed RWS commentsronny1-29/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1164 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-22introduced macros for values of case_explicit booleanronny1-13/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1163 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-22rebuilt auxiliary dynamics administrationronny1-140/+130
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1162 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-22removed unnecessary exportsronny1-9/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1161 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-22expand all type synonyms in dynamicsronny3-17/+30
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1160 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-22check kinds in dynamicsronny3-21/+57
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1159 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-17add abstract synonym typesjohnvg2-107/+121
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1158 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-17add abstract synonym typesjohnvg1-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1157 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-17remove some dead code in commentsjohnvg1-4/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1156 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-17removejohnvg1-5/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1155 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-17add abstract synonym typesjohnvg1-0/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1154 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-17add abstract synonym typesjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1153 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-17add abstract synonym typesjohnvg2-5/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1152 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16remove ModuleIndex type, because it is now defined in syntax.dcl,johnvg1-6/+5
added code for AbstractSynType git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1151 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16generate DclFunCall's for function calls from macros to fixjohnvg1-7/+27
a bug if an exported macro uses an exported function from the current module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1150 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16handle DclFunCall in function remove_calls_from_symbol_table,johnvg1-2/+9
add code for AbstractSynType git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1149 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16add code for DclFunCall to fix a bug if an exported macrojohnvg1-11/+28
uses an exported function from the current module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1148 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16add DclFunCall in type FunCalljohnvg2-10/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1147 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-15fix bug for functions with a case with a case and a default, forjohnvg1-3/+26
which the pattern match of the inner case could fail git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1146 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-12fix argument numbers in error messages of functions withjohnvg1-56/+83
lifted arguments and use names of lifted arguments in error messages, removed ts_out from TypeState, moved fun_defs into TypeState git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1145 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-12added CP_LiftedFunArgjohnvg2-1/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1144 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-11report an error if a type variable is defined more than once in after 'special'johnvg1-6/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1143 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-11call 'check_needed_modules_are_imported' after checking instancesjohnvg1-4/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1142 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d