Age | Commit message (Expand) | Author | Files | Lines |
2013-04-04 | renumber functions after checking imported modules (from iTask branch) | johnvg | 1 | -69/+86 |
2013-04-03 | remove more small differences in module typereify with the iTask branch | johnvg | 1 | -40/+40 |
2013-04-03 | remove some small differences in module typereify with the iTask branch | johnvg | 1 | -31/+31 |
2012-06-11 | remove some unused functions | johnvg | 1 | -38/+0 |
2012-05-14 | small fixes to previous commit | johnvg | 1 | -1/+1 |
2012-05-14 | import module _SystemDynamic instead of StdCleanTypes if -dynamics is used, | johnvg | 1 | -422/+33 |
2011-11-04 | remove differences in layout between the compiler and the iTask compiler | johnvg | 1 | -115/+59 |
2011-04-14 | use type FunSpecials instead of Specials for specials of functions | johnvg | 1 | -1/+1 |
2008-03-26 | handle NewType in function isTypeSynonym | johnvg | 1 | -0/+2 |
2007-04-11 | remove import of module checksupport | johnvg | 1 | -2/+1 |
2004-06-22 | bug fix: introduce Char type constructor for Char type (instead of Int) | ronny | 1 | -1/+1 |
2004-04-19 | remove TC; types | ronny | 1 | -26/+9 |
2004-03-24 | bug fix for semi-abstract type definitons: generate type function for all typ... | ronny | 1 | -2/+4 |
2004-03-23 | bug fix numbering of type variables | ronny | 1 | -22/+28 |
2004-03-23 | moved main module number and common defs from state to info parameter | ronny | 1 | -19/+21 |
2004-03-23 | introduced info parameter for reify functions | ronny | 1 | -50/+57 |
2004-03-23 | clean up: introduced quote function for strings | ronny | 1 | -5/+7 |
2004-03-23 | renamed variable | ronny | 1 | -4/+4 |
2004-03-23 | bug fix: number universal variables of field | ronny | 1 | -1/+2 |
2004-03-19 | change prefix "TD_" to "TD;" | ronny | 1 | -1/+1 |
2004-03-19 | bug fix: correct function kind | ronny | 1 | -1/+1 |
2004-03-19 | bug fix: use correct index for constructor in constructor definition | ronny | 1 | -7/+8 |
2004-03-17 | reification of type definitions | ronny | 1 | -0/+719 |