aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
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 kindronny2-1/+1
2004-03-19if ExportLocalLabels and strict constructor not used curried and notjohnvg1-4/+10
2004-03-19bug fix: use correct index for constructor in constructor definitionronny1-7/+8
2004-03-17reification of type definitionsronny2-0/+741
2004-03-17removed useless function convertLhsNodeDefsronny1-20/+4
2004-03-17reification of type definitionsronny11-68/+292
2004-03-17ignore rank > 1 quantors in type_ioronny1-0/+14
2004-03-05implement tuple result for foreign export / centryjohnvg1-6/+1
2004-03-05implement tuple result for foreign export / centryjohnvg1-1/+9
2004-02-20remove includes of typechecker.h and tctypes.tjohnvg1-3/+0
2004-02-20remove include of overloading.hjohnvg2-2/+0
2004-02-20remove calls of PrintTCType and InitTypeChecker, change #includesjohnvg1-15/+1
2004-02-20remove include of typechecker.hjohnvg1-1/+0
2004-02-20include typeconv.h instead of typechecker.hjohnvg1-1/+1
2004-02-20remove includes of typechecker.h and overloading.hjohnvg1-2/+0
2004-02-20move definition of UserDefinedArrayFunctions to this filejohnvg1-1/+1
2004-02-20move prototype of UserDefinedArrayFunctions to this filejohnvg1-0/+2
2004-02-20remove prototypes of removed functions, move some prototypes fromjohnvg1-28/+3
2004-02-20remove prototypes of removed functions, add ListTypes prototypejohnvg1-18/+1
2004-02-20move some functions from typechecker or overloading to this filejohnvg1-4/+34
2004-02-20remove unused codejohnvg1-22/+0
2004-02-17change module ownerronny1-1/+1
2004-02-17cleanup: prune importsronny2-4/+3
2004-02-12PK: fix bug with let .. where .. in ..pieter2-2/+4
2004-02-09initialise sdef_mark with 0 and remove fields from list of symbols,johnvg1-14/+28
2004-02-04replace double ' by a single ' inside ' and 'johnvg1-2/+5
2004-01-29removed duplicated declarations from dcl module in icl moduleronny1-145/+0
2004-01-16removed incorrect commentronny1-2/+1
2003-12-23bug fix: don't accept lhs patterns between function name and double colonronny1-1/+1
2003-12-22use class_ident in typeToClass to prevent ';' after class namejohnvg1-46/+35
2003-12-16report unused #! variablesjohnvg1-16/+22
2003-12-16add CheckWarningWithPositionjohnvg2-4/+8
2003-12-15remove VoidTypeTokenjohnvg2-3/+0
2003-12-15add export of BEInsertForeignExportjohnvg1-0/+1
2003-12-15add foreign exportjohnvg14-206/+311
2003-12-15add BEInsertForeignExportjohnvg3-0/+9
2003-12-15add BEInsertForeignExportjohnvg2-0/+2
2003-12-15add foreign exportjohnvg6-0/+78
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-15/+19
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-92/+143
2003-12-12removed unused argument of FP_AlgebraicPatternronny1-12/+5
2003-12-12removed unused FP_Pattern alternativesronny1-22/+1
2003-12-11move FunctionPattern type from syntax to backendconvertjohnvg4-35/+7