aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.icl
AgeCommit message (Expand)AuthorFilesLines
2011-04-14use type FunSpecials instead of Specials for specials of functionsjohnvg1-3/+2
2011-03-31use type Component instead of Group in the fusion modules: partition, classif...johnvg1-253/+252
2011-03-30remove unused result cons_args of function transformGrooupsjohnvg1-19/+12
2011-02-24git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1858 1f8540f1-abd...johnvg1-14/+9
2011-02-23remove ImportedConstructors result from function convertDynamicPatternsIntoUn...johnvg1-3/+3
2010-08-04fix copy of case expression which is ajohnvg1-15/+29
2010-02-09allow VI_ExpressionOrBody in instance clearVariables BoundVarjohnvg1-1/+3
2010-02-09unfold curried producers that are also normal producers if the producerjohnvg1-40/+154
2010-02-08generate a new function if a non root case is used ofjohnvg1-11/+136
2010-02-08allow fusion in non linear arguments for some functions thatjohnvg1-22/+81
2010-02-08don't add strict let with no variablesjohnvg1-51/+62
2010-02-08don't add a strict let if a strict unused argument is a constructor withoutjohnvg1-17/+27
2010-02-08repair the previous modificationjohnvg1-1/+1
2010-02-08another modification that should have been committed alreadyjohnvg1-1/+1
2010-02-08update th_attrs for AVI_Atrr (TA_TempVar _) bug fix (1.140)johnvg1-21/+22
2010-02-08enable constructor fusion for generic constructorsjohnvg1-28/+26
2010-02-08move some fields from ReadOnlyTi to new record TransformFunctionInfojohnvg1-70/+76
2010-02-08remove the AVI_Attr (TA_TempVar _)'s before unfold,johnvg1-53/+78
2010-02-08store type information in algebraic pattern variables in lift_patterns,johnvg1-6/+12
2010-02-08instead of transCase False No this_case ro ti, use skip_over this_case ro ti,johnvg1-425/+295
2010-02-05create a copy of unfold in module transform in module trans, called copyjohnvg1-54/+384
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