aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.dcl
AgeCommit message (Expand)AuthorFilesLines
2011-11-09add module expand_types containing some functions from module trans and modul...johnvg1-11/+1
2011-03-31use type Component instead of Group in the fusion modules: partition, classif...johnvg1-2/+2
2011-03-30remove unused result cons_args of function transformGrooupsjohnvg1-1/+1
2011-02-23remove ImportedConstructors result from function convertDynamicPatternsIntoUn...johnvg1-1/+1
2003-01-24added convertSymbolTypeWithoutCollectingImportedConstructorsjohnvg1-0/+3
2002-10-07iterate fusion per componentdiederik1-3/+3
2002-08-07Move partitioning to separate modulediederik1-3/+1
2002-07-29move typedefs from trans to syntax; allow for uncurried instances; fix compar...diederik1-4/+0
2002-07-24move consumer classification to separate modulediederik1-10/+1
2002-03-04Export proper new type of transformGroupsdiederik1-1/+1
2002-02-11class type variables bugfixdiederik1-5/+6
2001-10-03Reduce memory usage of mark_producer_safediederik1-1/+1
2001-10-01Add fusion commandline flagdiederik1-4/+5
2001-08-31added code for strict and unboxed listsjohnvg1-2/+2
2001-05-08moved ImportedFunctions from convertcases to transronny1-0/+1
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-1/+1
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-2/+2
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-3/+3
2000-09-13fixed following bug:martinw1-3/+1
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv1-0/+4
2000-03-20*** empty log message ***sjakie1-1/+1
1999-11-23change: dynamics are now converted before 'fusion'sjakie1-2/+3
1999-11-05fusion works now. The fusion switch in module typesupport is enabledmartinw1-1/+1
1999-10-18lots of changes in module trans to make fusion work.martinw1-2/+5
1999-10-05Initial importronny1-0/+21
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 20:00:27 +0000