Age | Commit message (Expand) | Author | Files | Lines |
2013-10-09 | restore tv_info_pointer values in function convertSymbolTypeWithoutCollecting... | johnvg | 1 | -32/+55 |
2013-06-07 | prevent infinite loop when fusing trivial tail recursive functions (e.g. unde... | johnvg | 1 | -14/+42 |
2013-06-07 | prevent crash during fusion, | johnvg | 1 | -23/+23 |
2013-06-03 | remove unused Bool of PE_Let contructor | johnvg | 5 | -36/+30 |
2013-05-28 | prevent crash when writing .tcl file with extensible algebraic types (not yet... | johnvg | 1 | -24/+16 |
2013-05-28 | fix renumbering of extensible algebraic types | johnvg | 1 | -3/+10 |
2013-05-06 | call reset_free_var_heap_pointers before expandCheckedAlternative in expandMa... | johnvg | 1 | -7/+10 |
2013-04-29 | copy expr in DictionariesFunction in instance of copy for Expression, | johnvg | 1 | -0/+4 |
2013-04-26 | improve "multiply defined" error, add module names of the definitions to the ... | johnvg | 3 | -71/+75 |
2013-04-10 | allow =: again for generic functions without arguments | johnvg | 1 | -5/+1 |
2013-04-09 | optimize fusion, reduce memory used of fusion (from iTask branch): | johnvg | 5 | -316/+1167 |
2013-04-08 | add generic function dependencies for generic function definitions, | johnvg | 18 | -840/+2601 |
2013-04-05 | update derive class for deriving generic functions in class context (from iTa... | johnvg | 3 | -9/+26 |
2013-04-05 | add derive class for deriving generic functions in class context (from iTask ... | johnvg | 12 | -97/+383 |
2013-04-05 | change type GenericCaseDef, add types GenericCaseFunctions and GCF | johnvg | 7 | -205/+200 |
2013-04-04 | add type StringPos (from iTask branch) | johnvg | 4 | -24/+46 |
2013-04-04 | renumber functions after checking imported modules (from iTask branch) | johnvg | 6 | -394/+509 |
2013-04-04 | add type constraints in dynamic types | johnvg | 8 | -103/+191 |
2013-04-03 | remove more small differences in module typereify with the iTask branch | johnvg | 3 | -42/+42 |
2013-04-03 | remove some small differences in module typereify with the iTask branch | johnvg | 2 | -33/+33 |
2013-04-02 | add type constraints in constructors and function arguments with universal qu... | johnvg | 28 | -372/+1283 |
2013-03-26 | in function adjust_type_code, add alternative for TCE_Selector, | johnvg | 1 | -1/+6 |
2013-03-26 | remove unused constructor VI_Ref | johnvg | 1 | -1/+0 |
2013-03-25 | fix freshCopy of TFA var (cv :@: types), (cv :@: types) was not copied in thi... | johnvg | 1 | -9/+7 |
2013-03-18 | use DirectorySeparator from CoclSystemDependent instead of '\\' | johnvg | 1 | -1/+2 |
2013-02-07 | Add function to ti_new_functions immediately when ti_recursion_introduced is ... | johnvg | 1 | -14/+14 |
2012-12-03 | in function curryGenericArgType1 use TA_Multi while arguments have TA_Multi a... | johnvg | 1 | -0/+4 |
2012-10-24 | in the generic representation use RECORD instead of OBJECT and CONS for records, | johnvg | 6 | -421/+478 |
2012-10-16 | report a parse error if a strictness annotation or uniqueness attribute is us... | johnvg | 1 | -36/+60 |
2012-10-08 | use path returned by fopenInSearchPaths to create the .tcl file name for open... | johnvg | 2 | -4/+3 |
2012-10-08 | search and open file before calling wantModule | johnvg | 6 | -43/+62 |
2012-09-21 | add hierarchical modules | johnvg | 3 | -79/+65 |
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 | 3 | -51/+107 |
2012-08-16 | don't copy unmodified types in replaceIntegers to reduce memory usage | johnvg | 1 | -37/+53 |
2012-08-16 | optimize local function new_inequality in determine_attribute_of_cons, | johnvg | 1 | -8/+11 |
2012-08-16 | optimize function get_mark | johnvg | 1 | -6/+10 |
2012-08-15 | fix coercibility check of instance of classes with a . before a (constructor)... | johnvg | 1 | -4/+4 |
2012-08-14 | rename extendable to extensible | johnvg | 8 | -25/+25 |
2012-08-14 | add extendable algebraic data types (merged from iTask branch) | johnvg | 18 | -155/+425 |
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 | 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 |