Age | Commit message (Expand) | Author | Files | Lines |
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 | 3 | -23/+28 |
2012-08-08 | make field aci_linearity_of_patterns of record ActiveCaseInfo strict | johnvg | 3 | -9/+20 |
2012-08-07 | use an unboxed tail strict list for cc_linear_bits to reduce memory usage | johnvg | 4 | -34/+57 |
2012-08-07 | fix fusion of a function that is both the consumer and the producer. | johnvg | 2 | -64/+104 |
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 | 18 | -145/+556 |
2012-07-27 | replace function trySimpleExpressionT that parses either a pattern or an expr... | johnvg | 1 | -122/+145 |
2012-07-27 | add functions wantPattern and wantExpression | johnvg | 1 | -19/+40 |
2012-07-27 | rename some functions in the parser, | johnvg | 1 | -86/+79 |
2012-07-24 | =: cannot be used anymore for variable definitions | johnvg | 1 | -18/+23 |
2012-07-16 | optimize consumer analysis of cases, | johnvg | 1 | -192/+337 |
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-18 | in module classify, unify of Seq n1 [] and Seq n2 [] is Seq (max n1 n2) [] | johnvg | 1 | -7/+11 |
2012-06-18 | make local functions of function partitionateAndLiftFunctions global, | johnvg | 1 | -183/+190 |
2012-06-15 | in substitute use original type (instead of copy) if possible, | johnvg | 6 | -129/+179 |
2012-06-14 | rename type PartitioningInfo to PartitioningState (and fields pi_ to ps_) | johnvg | 1 | -174/+174 |
2012-06-14 | rename field es_symbol_heap of type ExpandState to es_expression_heap | johnvg | 1 | -32/+32 |
2012-06-14 | rename field cos_symbol_heap to cos_expression_heap | johnvg | 3 | -39/+35 |
2012-06-11 | remove some unused functions | johnvg | 1 | -38/+0 |
2012-06-11 | make RefCount array elements strict, to prevent a space leak of unify thunks | johnvg | 1 | -6/+1 |
2012-05-25 | commit bug fix from revision 1735 again: | johnvg | 1 | -13/+3 |
2012-05-25 | fix bug in var_info_ptr's of new variables added for cases used as arguments ... | johnvg | 1 | -174/+75 |
2012-05-16 | use record DefCounts with cons_count, sel_count, mem_count and type_count, in... | johnvg | 1 | -46/+61 |
2012-05-14 | small fixes to previous commit | johnvg | 2 | -4/+3 |
2012-05-14 | import module _SystemDynamic instead of StdCleanTypes if -dynamics is used, | johnvg | 8 | -651/+281 |
2012-05-07 | fix incorrect array index in function cannot_unify | johnvg | 1 | -1/+2 |
2012-05-03 | in error message for incorrect field type print name of field instead of argu... | johnvg | 3 | -26/+38 |
2012-05-01 | print some generic contexts using generic_function_name{|kind|} | johnvg | 1 | -2/+9 |
2012-05-01 | don't print unnecessary brackets inside tuple and list types | johnvg | 1 | -3/+9 |
2012-04-05 | fix aliases in sub patterns of # or let, for example: | johnvg | 1 | -1/+8 |
2012-03-23 | fix implicit qualified import of a module of which no (qualified) symbol is used | johnvg | 7 | -27/+55 |
2012-03-19 | clear me_type_ptr's after type checking, | johnvg | 1 | -4/+14 |
2011-12-08 | prevent compiler crash if a function is defined twice and imported, | johnvg | 1 | -14/+7 |
2011-12-08 | improve uniqueness error message (by explaining how the 'indicated position' ... | johnvg | 1 | -1/+1 |
2011-12-07 | prevent compile crash if dynamics are enabled and a type synonym is cyclic | johnvg | 1 | -1/+2 |
2011-11-10 | move type TypeCodeVariableInfo to module syntax, remove type DynamicValueAlia... | johnvg | 18 | -49/+34 |
2011-11-09 | add module expand_types containing some functions from module trans and modul... | johnvg | 13 | -494/+535 |
2011-11-09 | adjust more imports after moving types Group and Component to module checksup... | johnvg | 3 | -7/+2 |
2011-11-09 | move types Group and Component to module checksupport | johnvg | 5 | -20/+11 |
2011-11-08 | rename module StdCompare to compare_types | johnvg | 11 | -355/+9 |
2011-11-08 | rename module StdCompare to compare_types | johnvg | 1 | -1/+1 |
2011-11-08 | rename module StdCompare to compare_types | johnvg | 8 | -8/+8 |
2011-11-08 | rename module StdCompare to compare_types | johnvg | 2 | -0/+340 |
2011-11-08 | add import StdCompare | johnvg | 1 | -1/+1 |