| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 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 |
| 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 |
