aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.icl
AgeCommit message (Expand)AuthorFilesLines
2010-02-05move producerRequirements from module trans to module classifyjohnvg1-233/+0
2009-10-12fix bug in fusion that may occur if a recursive function that containsjohnvg1-25/+29
2009-07-28fix uniqueness type bug (not detected because of bug in refmark)johnvg1-5/+2
2007-04-13implement newtypejohnvg1-3/+9
2005-10-28remove output for debuggingjohnvg1-1/+2
2005-10-26remove output for debuggingjohnvg1-1/+1
2005-10-26remove output for debuggingjohnvg1-2/+2
2005-04-08fix specified typejohnvg1-1/+1
2003-09-16removed boolean result from substituteType and substitute: theyronny1-9/+9
2003-05-16renamed field names of type Ident in syntax treeronny1-116/+116
2003-03-12extra curried fusion fixesdiederik1-107/+219
2003-02-24added fusion of unboxed lists of records, movedjohnvg1-86/+99
2003-02-19implement fusion of overloaded cons or nil (function) of overloaded lists,johnvg1-43/+130
2003-02-18fix bug in fusion of an overloaded list pattern match withjohnvg1-33/+57
2003-01-24added convertSymbolTypeWithoutCollectingImportedConstructorsjohnvg1-1/+9
2003-01-21Fix error in producerRequirementsdiederik1-5/+11
2003-01-08Bug fix: uniqueness error in recordssjakie1-10/+11
2002-12-02add strictness annotationsdiederik1-18/+55
2002-12-02improve speed when not fusingdiederik1-0/+4
2002-11-25fusion patches for case folds, case types, and dictionary typesdiederik1-58/+183
2002-11-08Supply predef to generic dict unification;diederik1-15/+59
2002-10-15disable arity check to circumvent bug in compiling the module relayout.icl in...ronny1-1/+1
2002-10-10use transform_trivial for 0-ary funsdiederik1-21/+8
2002-10-10prepare possibly_add_let for reusediederik1-39/+37
2002-10-10generate new versions for over-applied functionsdiederik1-1/+121
2002-10-10fuse non-recursive producersdiederik1-6/+34
2002-10-10cleanup case fun generation;diederik1-24/+30
2002-10-10transform record selectionsdiederik1-0/+21
2002-10-09possiblyFoldOuterCasediederik1-20/+69
2002-10-09SwitchHOFusiondiederik1-16/+41
2002-10-09only generate functions for safe casesdiederik1-27/+119
2002-10-09rnf constructor fusiondiederik1-3/+25
2002-10-08SwitchReanalyseFunctiondiederik1-17/+36
2002-10-08Change order of propagation annotation in generateFunctiondiederik1-15/+16
2002-10-08Add function arity checksdiederik1-16/+40
2002-10-07iterate fusion per componentdiederik1-99/+286
2002-10-01minor changes in genericsalimarin1-0/+16
2002-08-23remove record fields: ui_convert_module_n and ui_conversion_tablejohnvg1-8/+2
2002-08-07Move partitioning to separate modulediederik1-90/+1
2002-08-01fix curried constructor applicationsdiederik1-0/+16
2002-08-01inline trivial functions and optionally constant functionsdiederik1-17/+213
2002-08-01add and use consumer_is_curried information to producer determinationdiederik1-29/+55
2002-07-30improved type annotations from build_application_type;diederik1-6/+100
2002-07-30specialize when special availablediederik1-14/+112
2002-07-29add removing unused function arguments to fusiondiederik1-15/+31
2002-07-29fixes for removing unused function argumentsdiederik1-8/+36
2002-07-29move typedefs from trans to syntax; allow for uncurried instances; fix compar...diederik1-4/+8
2002-07-29optimise (normal) selection from known recordsdiederik1-7/+28
2002-07-25rename consumer classifications and add CUnuseddiederik1-6/+6
2002-07-24minor code reorganisationdiederik1-283/+316
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 19:15:01 +0000