aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.dcl
AgeCommit message (Collapse)AuthorFilesLines
2011-11-09add module expand_types containing some functions from module trans and ↵johnvg1-11/+1
module typesupport git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2025 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-31use type Component instead of Group in the fusion modules: partition, ↵johnvg1-2/+2
classify and trans, because function pointers for generated functions are stored in the Component, they can be found without searching the new functions list git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1895 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-30remove unused result cons_args of function transformGrooupsjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1891 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23remove ImportedConstructors result from function ↵johnvg1-1/+1
convertDynamicPatternsIntoUnifyAppls, because it is always [] git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1847 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-24added convertSymbolTypeWithoutCollectingImportedConstructorsjohnvg1-0/+3
to fix a bug if type synonyms are used and a .tcl file is generated git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1313 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-07iterate fusion per componentdiederik1-3/+3
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-08-07Move partitioning to separate modulediederik1-3/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1186 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-29move typedefs from trans to syntax; allow for uncurried instances; fix ↵diederik1-4/+0
compare for PR_Unused git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1177 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-24move consumer classification to separate modulediederik1-10/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1166 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-04Export proper new type of transformGroupsdiederik1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1042 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-11class type variables bugfixdiederik1-5/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1013 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-03Reduce memory usage of mark_producer_safediederik1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@820 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-01Add fusion commandline flagdiederik1-4/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@805 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for strict and unboxed listsjohnvg1-2/+2
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-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
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@335 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-2/+2
during the transformation phase git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@292 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@232 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-13fixed following bug:martinw1-3/+1
:: Record = {x :: !Int, y :: Int} Start = { x = undef, y = 2}.y has been tranformed into Start = 2 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@213 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@206 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-20*** empty log message ***sjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@115 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-23change: dynamics are now converted before 'fusion'sjakie1-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@58 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-05fusion works now. The fusion switch in module typesupport is enabledmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@35 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-18lots of changes in module trans to make fusion work.martinw1-2/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@16 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-05Initial importronny1-0/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 19:14:10 +0000