| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2010-05-07 | no message | johnvg | 1 | -4/+1 |
| 2010-05-07 | report an error if a generic instance is derived for a type with an | johnvg | 1 | -33/+41 |
| 2010-02-11 | fix comparing TA with TAS | johnvg | 2 | -39/+44 |
| 2010-02-09 | allow VI_ExpressionOrBody in instance clearVariables BoundVar | johnvg | 1 | -1/+3 |
| 2010-02-09 | unfold curried producers that are also normal producers if the producer | johnvg | 2 | -40/+156 |
| 2010-02-08 | generate a new function if a non root case is used of | johnvg | 1 | -11/+136 |
| 2010-02-08 | allow fusion in non linear arguments for some functions that | johnvg | 1 | -22/+81 |
| 2010-02-08 | don't add strict let with no variables | johnvg | 1 | -51/+62 |
| 2010-02-08 | don't add a strict let if a strict unused argument is a constructor without | johnvg | 1 | -17/+27 |
| 2010-02-08 | repair the previous modification | johnvg | 1 | -1/+1 |
| 2010-02-08 | another modification that should have been committed already | johnvg | 1 | -1/+1 |
| 2010-02-08 | update th_attrs for AVI_Atrr (TA_TempVar _) bug fix (1.140) | johnvg | 1 | -21/+22 |
| 2010-02-08 | enable constructor fusion for generic constructors | johnvg | 1 | -28/+26 |
| 2010-02-08 | move some fields from ReadOnlyTi to new record TransformFunctionInfo | johnvg | 1 | -70/+76 |
| 2010-02-08 | remove the AVI_Attr (TA_TempVar _)'s before unfold, | johnvg | 1 | -53/+78 |
| 2010-02-08 | store type information in algebraic pattern variables in lift_patterns, | johnvg | 1 | -6/+12 |
| 2010-02-08 | instead of transCase False No this_case ro ti, use skip_over this_case ro ti, | johnvg | 1 | -425/+295 |
| 2010-02-05 | remove code that is no longer used in unfold, because unfold is no longer | johnvg | 3 | -226/+107 |
| 2010-02-05 | create a copy of unfold in module transform in module trans, called copy | johnvg | 1 | -54/+384 |
| 2010-02-05 | remove some white space | johnvg | 1 | -41/+25 |
| 2010-02-05 | move producerRequirements from module trans to module classify | johnvg | 3 | -233/+254 |
| 2010-02-05 | add optimizations for generic bimap, | johnvg | 2 | -163/+936 |
| 2010-02-05 | make local build_ functions global | johnvg | 1 | -73/+88 |
| 2010-02-05 | use record FunsAndGroups instead of a tuple | johnvg | 1 | -223/+79 |
| 2010-02-04 | make generic info lazy to improve fusion results, | johnvg | 1 | -65/+19 |
| 2010-02-04 | fix bug in foldExpr for @, first expression was used twice | johnvg | 1 | -50/+16 |
| 2010-02-04 | remove unused code | johnvg | 1 | -235/+3 |
| 2010-01-08 | remove AddStrictLhsNodeIdsToNodeDefs call for overloaded case node | johnvg | 1 | -2/+0 |
| 2009-12-22 | prevent crash if def_node==NULL (lhs strictness annotation) | johnvg | 1 | -2/+2 |
| 2009-12-22 | make strictly annotated variables in patterns strict (in case expressions) | johnvg | 1 | -0/+6 |
| 2009-12-22 | fix typo and remove numbers between () in error messages | johnvg | 1 | -5/+5 |
| 2009-11-26 | remove preprocessor for Clean 1.3 code | johnvg | 1 | -42/+3 |
| 2009-10-12 | fix bug in fusion that may occur if a recursive function that contains | johnvg | 1 | -25/+29 |
| 2009-10-12 | fix bug in implementation of seq | johnvg | 2 | -6/+37 |
| 2009-07-29 | fix bug that may occur if a let variable is used in another let in an alterna... | johnvg | 2 | -12/+39 |
| 2009-07-29 | fix bug that may occur if a let is used in a case inside another case, | johnvg | 1 | -92/+119 |
| 2009-07-29 | mark pattern and rhs of case alternative with one fullRefMark instead of two | johnvg | 1 | -11/+6 |
| 2009-07-29 | fix selective uses in refMarkOfVariable if used completely and by selector | johnvg | 1 | -39/+48 |
| 2009-07-29 | remove some unused code, fix some typos | johnvg | 1 | -67/+36 |
| 2009-07-28 | fix uniqueness type bug (not detected because of bug in refmark) | johnvg | 3 | -9/+6 |
| 2009-07-28 | mark strict vars with VI_StrictLetVar, transform case of such a var | johnvg | 2 | -5/+7 |
| 2009-07-28 | create new fv_info_ptr's for strict lets in distributeLets, because otherwise | johnvg | 2 | -68/+18 |
| 2009-07-01 | prevent compiler crash if a dynamic type contains a type constructor variable, | johnvg | 1 | -16/+18 |
| 2009-06-15 | report an error if a non unique * annotated type T is inferred in a function ... | johnvg | 1 | -20/+28 |
| 2009-06-11 | restore all modified pointers (prevents compiler crash if an | johnvg | 1 | -1/+1 |
| 2009-06-05 | make function add_new_variable global instead of local | johnvg | 1 | -6/+5 |
| 2009-06-05 | fix for existential/universal type variables of kind > * | johnvg | 1 | -37/+25 |
| 2009-06-05 | remove some comments | johnvg | 1 | -6/+1 |
| 2009-06-05 | fix for existential/universal type variables of kind > * | johnvg | 1 | -41/+34 |
| 2009-06-05 | remove some comments | johnvg | 1 | -10/+6 |
