aboutsummaryrefslogtreecommitdiff
path: root/frontend/typereify.icl
AgeCommit message (Expand)AuthorFilesLines
2013-04-04renumber functions after checking imported modules (from iTask branch)johnvg1-69/+86
2013-04-03remove more small differences in module typereify with the iTask branchjohnvg1-40/+40
2013-04-03remove some small differences in module typereify with the iTask branchjohnvg1-31/+31
2012-06-11remove some unused functionsjohnvg1-38/+0
2012-05-14small fixes to previous commitjohnvg1-1/+1
2012-05-14import module _SystemDynamic instead of StdCleanTypes if -dynamics is used,johnvg1-422/+33
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-115/+59
2011-04-14use type FunSpecials instead of Specials for specials of functionsjohnvg1-1/+1
2008-03-26handle NewType in function isTypeSynonymjohnvg1-0/+2
2007-04-11remove import of module checksupportjohnvg1-2/+1
2004-06-22bug fix: introduce Char type constructor for Char type (instead of Int)ronny1-1/+1
2004-04-19remove TC; typesronny1-26/+9
2004-03-24bug fix for semi-abstract type definitons: generate type function for all typ...ronny1-2/+4
2004-03-23bug fix numbering of type variablesronny1-22/+28
2004-03-23moved main module number and common defs from state to info parameterronny1-19/+21
2004-03-23introduced info parameter for reify functionsronny1-50/+57
2004-03-23clean up: introduced quote function for stringsronny1-5/+7
2004-03-23renamed variableronny1-4/+4
2004-03-23bug fix: number universal variables of fieldronny1-1/+2
2004-03-19change prefix "TD_" to "TD;"ronny1-1/+1
2004-03-19bug fix: correct function kindronny1-1/+1
2004-03-19bug fix: use correct index for constructor in constructor definitionronny1-7/+8
2004-03-17reification of type definitionsronny1-0/+719
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 19:08:06 +0000