| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2017-03-06 | Make of in lambdacase optional | Camil Staps | 1 | -6/+8 |
| 2017-03-06 | Lambda-case | Camil Staps | 2 | -4/+26 |
| 2017-02-27 | check imports of types that occur only in a cached definition module, | johnvg | 3 | -2/+73 |
| 2016-11-11 | fix definition of generic function only in the definition module, | johnvg | 1 | -6/+29 |
| 2016-10-04 | fix substitution of universally quantified uniqueness attributes in function ... | johnvg | 1 | -8/+8 |
| 2016-06-20 | fix commit for revision 2724 | johnvg | 1 | -3/+5 |
| 2016-06-10 | add Expression to CP_SymbArg and rename as CP_SymbArgAndExpression, | johnvg | 3 | -43/+51 |
| 2016-06-06 | set FI_HasTypeCodes in fi_properties if a function contains type codes and | johnvg | 3 | -49/+46 |
| 2016-04-05 | don't forget to transform (index) expressions in ArraySelection's of Selector's | johnvg | 1 | -23/+31 |
| 2015-12-02 | allow # and | in \ expressions | johnvg | 4 | -66/+130 |
| 2015-11-27 | only allow infix constructor with arity 2, otherwise the compiler may crash w... | johnvg | 1 | -2/+11 |
| 2015-11-17 | fix qualified import of constructors with a constraint or universally quantif... | johnvg | 1 | -10/+17 |
| 2014-10-16 | atop compiling after a kind error, because this may cause a crash in the type... | johnvg | 1 | -2/+6 |
| 2014-10-16 | move addFunctionsRange after collectFunctions for instances and generic cases, | johnvg | 1 | -3/+2 |
| 2014-09-26 | remove unused constructor TQV of :: type_io.icl | johnvg | 6 | -24/+0 |
| 2014-04-03 | add unit type (print type as ()) | johnvg | 1 | -0/+2 |
| 2014-04-03 | add unit type | johnvg | 5 | -234/+300 |
| 2014-04-03 | use the index to recognize predefined types when printing, instead of the nam... | johnvg | 1 | -23/+16 |
| 2014-03-19 | fix the order of expansion of type synonyms in type synonyms, | johnvg | 1 | -2/+3 |
| 2014-02-21 | if a constraint of a class without members is reduced, and all classes in the... | johnvg | 1 | -1/+65 |
| 2013-12-13 | in derived dynamic types, add uniqueness to algebraic types that are always u... | johnvg | 4 | -7/+23 |
| 2013-12-12 | add type attributes for universally quantified variables generated in the gen... | johnvg | 1 | -5/+3 |
| 2013-11-27 | fix printing of uniqueness attributes in type with A. | johnvg | 1 | -0/+4 |
| 2013-11-04 | fix comprehensions with a non lower case identifier as pattern, | johnvg | 1 | -2/+3 |
| 2013-11-04 | remove unused argument ca and result of functions: | johnvg | 1 | -30/+29 |
| 2013-10-23 | don't accept instance members defined using :== | johnvg | 1 | -9/+20 |
| 2013-10-23 | undo previous commit, because it causes the compiler to crash when compiling ... | johnvg | 1 | -5/+0 |
| 2013-10-14 | check the type of instances defined using :== (maybe the parser should reject... | johnvg | 1 | -0/+5 |
| 2013-10-09 | prevent crash if a newtype is used with -dynamics | johnvg | 1 | -5/+9 |
| 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 |
