Age | Commit message (Expand) | Author | Files | Lines |
2013-04-02 | add type constraints in constructors and function arguments with universal qu... | johnvg | 1 | -10/+6 |
2013-02-07 | Add function to ti_new_functions immediately when ti_recursion_introduced is ... | johnvg | 1 | -14/+14 |
2012-08-24 | pass fun_info.fi_properties of the consumer to function determineProducer, | johnvg | 1 | -31/+31 |
2012-08-16 | don't copy unmodified types in addPropagationAttributesToAType to reduce memo... | johnvg | 1 | -2/+1 |
2012-08-16 | don't copy unmodified types in replaceIntegers to reduce memory usage | johnvg | 1 | -37/+53 |
2012-08-09 | remove VI_Expression pointer values after copying a case alternative in the f... | johnvg | 1 | -1/+2 |
2012-08-09 | remove several forwarding pointers in the fusion algorithm | johnvg | 1 | -15/+46 |
2012-08-08 | optimize coercionsToAttrEnv function | johnvg | 1 | -9/+22 |
2012-08-08 | build the whole st_attr_vars list in function generateFunction, instead of bu... | johnvg | 1 | -2/+12 |
2012-08-08 | replace function NewAttrVarId by NewAttrVar, improve caching of uniqueness at... | johnvg | 1 | -9/+6 |
2012-08-08 | make field aci_linearity_of_patterns of record ActiveCaseInfo strict | johnvg | 1 | -5/+5 |
2012-08-07 | use an unboxed tail strict list for cc_linear_bits to reduce memory usage | johnvg | 1 | -22/+43 |
2012-08-07 | fix fusion of a function that is both the consumer and the producer. | johnvg | 1 | -62/+102 |
2012-08-06 | move computation of n_args_before_producer and n_producer_args in function ge... | johnvg | 1 | -74/+70 |
2012-08-02 | add pattern match test using =: in expressions, | johnvg | 1 | -2/+12 |
2012-07-12 | fix fusion of functions thats only permute the arguments | johnvg | 1 | -157/+116 |
2012-07-09 | bug fix: set aci_opt_unfolder to No for a case if extra argument are added to... | johnvg | 1 | -10/+24 |
2012-07-09 | add function make_consumer_application, | johnvg | 1 | -57/+20 |
2012-07-09 | compute class_types using a comprehension instead of a fold with some unused ... | johnvg | 1 | -17/+4 |
2012-06-15 | in substitute use original type (instead of copy) if possible, | johnvg | 1 | -27/+25 |
2011-11-10 | move type TypeCodeVariableInfo to module syntax, remove type DynamicValueAlia... | johnvg | 1 | -1/+1 |
2011-11-09 | add module expand_types containing some functions from module trans and modul... | johnvg | 1 | -245/+6 |
2011-11-08 | rename module StdCompare to compare_types | johnvg | 1 | -1/+1 |
2011-11-04 | remove differences in layout between the compiler and the iTask compiler | johnvg | 1 | -70/+40 |
2011-04-14 | use type FunSpecials instead of Specials for specials of functions | johnvg | 1 | -3/+2 |
2011-03-31 | use type Component instead of Group in the fusion modules: partition, classif... | johnvg | 1 | -253/+252 |
2011-03-30 | remove unused result cons_args of function transformGrooups | johnvg | 1 | -19/+12 |
2011-02-24 | git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1858 1f8540f1-abd... | johnvg | 1 | -14/+9 |
2011-02-23 | remove ImportedConstructors result from function convertDynamicPatternsIntoUn... | johnvg | 1 | -3/+3 |
2010-08-04 | fix copy of case expression which is a | johnvg | 1 | -15/+29 |
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 | 1 | -40/+154 |
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 | create a copy of unfold in module transform in module trans, called copy | johnvg | 1 | -54/+384 |
2010-02-05 | move producerRequirements from module trans to module classify | johnvg | 1 | -233/+0 |
2009-10-12 | fix bug in fusion that may occur if a recursive function that contains | johnvg | 1 | -25/+29 |
2009-07-28 | fix uniqueness type bug (not detected because of bug in refmark) | johnvg | 1 | -5/+2 |
2007-04-13 | implement newtype | johnvg | 1 | -3/+9 |
2005-10-28 | remove output for debugging | johnvg | 1 | -1/+2 |