aboutsummaryrefslogtreecommitdiff
path: root/frontend/typereify.icl
AgeCommit message (Expand)AuthorFilesLines
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