aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.icl
AgeCommit message (Collapse)AuthorFilesLines
2002-10-08SwitchReanalyseFunctiondiederik1-17/+36
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1222 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-08Change order of propagation annotation in generateFunctiondiederik1-15/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1220 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-08Add function arity checksdiederik1-16/+40
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1219 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-07iterate fusion per componentdiederik1-99/+286
new recursive fun implementation use FailExpr for neverMatchingCase strip and dump commandline args git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1217 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-01minor changes in genericsalimarin1-0/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1214 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-23remove record fields: ui_convert_module_n and ui_conversion_tablejohnvg1-8/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1192 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-07Move partitioning to separate modulediederik1-90/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1186 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 ↵diederik1-4/+8
compare for PR_Unused git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1177 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-25rename consumer classifications and add CUnuseddiederik1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1170 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 modulediederik1-575/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1166 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-17add abstract synonym typesjohnvg1-105/+118
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1158 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-17removed ignored !'sjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1099 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-03added constructor/type/field information to genericsalimarin1-6/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1079 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-04-11support for generic type context like inalimarin1-4/+22
foo :: a a -> Bool | eq{|*|} a git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1073 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-11class type variables bugfixdiederik1-7/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1013 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-99/+154
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1002 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-5/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg1-83/+79
added BVInt removed symb_arity from SymbIdent git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-29different representation of selector kind in Selectionronny1-9/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@908 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-29/+26
remove conversion table, except for macros git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@863 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-12added alternative for OverloadedListPatterns in producerRequirementsjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@847 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-12Fusion fixes; should terminate now.diederik1-79/+205
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@844 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-03Reduce memory usage of mark_producer_safediederik1-100/+121
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@820 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-1/+1
Universally quantified types used in class members git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@811 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-01Add producer class for fusiondiederik1-13/+273
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@806 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-01Add fusion commandline flagdiederik1-60/+76
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@805 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-11reduced memory usage of expandSynTypesjohnvg1-36/+52
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@767 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-11pass TypeSymbIdent boxed in TA to function 'expand_syn_types_in_TA' instead ↵johnvg1-4/+4
of unboxed to prevent reboxing git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@766 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06remove fun_index from FunDefjohnvg1-5/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@746 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for strict and unboxed listsjohnvg1-43/+172
replace decons/cons by decons_u/cons_u for unboxed lists recognize nil/cons/decons as consumers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@717 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-27Universally quantified types addedsjakie1-0/+5
Bug fix in reference marking git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@675 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-29cleaning upmartinw1-41/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@512 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@494 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification ↵sjakie1-6/+9
algorithm. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@478 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30in 'transform' of trans.icl also transform expressions in selections of an ↵johnvg1-0/+17
Update node git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@439 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30added alternatives to function 'transform' for ↵johnvg1-1/+21
Update,RecordUpdate,TupleSelect and MatchExpr git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@436 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-11moving all switch macros to new module "compilerSwitches"martinw1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@423 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08moved ImportedFunctions from convertcases to transronny1-0/+1
(it's now together with ImportedConstructors) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@396 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 02:33:13 +0000