aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2004-03-31don't overwrite first byte of next node in the heap with a '\0'johnvg1-2/+0
in function get_command git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1479 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-24bug fix for semi-abstract type definitons: generate type function for all ↵ronny1-2/+4
type definitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1478 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23bug fix numbering of type variablesronny1-22/+28
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1477 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23moved main module number and common defs from state to info parameterronny1-19/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1476 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23introduced info parameter for reify functionsronny1-50/+57
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1475 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23clean up: introduced quote function for stringsronny1-5/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1474 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23renamed variableronny1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1473 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23bug fix: number universal variables of fieldronny1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1472 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-19change prefix "TD_" to "TD;"ronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1471 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-19bug fix: correct function kindronny2-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1470 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-19if ExportLocalLabels and strict constructor not used curried and notjohnvg1-4/+10
exported, also export label with d prefix for strict constructor and fix name for label with n prefix git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1469 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-19bug fix: use correct index for constructor in constructor definitionronny1-7/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1468 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-17reification of type definitionsronny2-0/+741
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1467 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-17removed useless function convertLhsNodeDefsronny1-20/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1466 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-17reification of type definitionsronny11-68/+292
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1465 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-17ignore rank > 1 quantors in type_ioronny1-0/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1464 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-05implement tuple result for foreign export / centryjohnvg1-6/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1463 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-05implement tuple result for foreign export / centryjohnvg1-1/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1462 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20remove includes of typechecker.h and tctypes.tjohnvg1-3/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1461 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20remove include of overloading.hjohnvg2-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1460 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20remove calls of PrintTCType and InitTypeChecker, change #includesjohnvg1-15/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1459 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20remove include of typechecker.hjohnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1458 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20include typeconv.h instead of typechecker.hjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1457 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20remove includes of typechecker.h and overloading.hjohnvg1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1456 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20move definition of UserDefinedArrayFunctions to this filejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1455 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20move prototype of UserDefinedArrayFunctions to this filejohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1454 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20remove prototypes of removed functions, move some prototypes fromjohnvg1-28/+3
typechecker or overloading header files to this file git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1453 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20remove prototypes of removed functions, add ListTypes prototypejohnvg1-18/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1452 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20move some functions from typechecker or overloading to this filejohnvg1-4/+34
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1451 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20remove unused codejohnvg1-22/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1450 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-17change module ownerronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1449 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-17cleanup: prune importsronny2-4/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1448 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-12PK: fix bug with let .. where .. in ..pieter2-2/+4
Now the parser removes the offisde poistions from the stack instead of the scanner. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1447 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-09initialise sdef_mark with 0 and remove fields from list of symbols,johnvg1-14/+28
to prevent unnecessary imports and double imports of fields in the .abc file git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1446 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-04replace double ' by a single ' inside ' and 'johnvg1-2/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1445 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-01-29removed duplicated declarations from dcl module in icl moduleronny1-145/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1444 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-01-16removed incorrect commentronny1-2/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1443 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-23bug fix: don't accept lhs patterns between function name and double colonronny1-1/+1
for example reject: f blah [blah] blah :: Int -> Int git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1442 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-22use class_ident in typeToClass to prevent ';' after class namejohnvg1-46/+35
when printing types, rename dtci_dclModule (was dtic_dclModule) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1441 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-16report unused #! variablesjohnvg1-16/+22
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1440 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-16add CheckWarningWithPositionjohnvg2-4/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1439 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15remove VoidTypeTokenjohnvg2-3/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1438 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15add export of BEInsertForeignExportjohnvg1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1437 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15add foreign exportjohnvg14-206/+311
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1436 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15add BEInsertForeignExportjohnvg3-0/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1435 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15add BEInsertForeignExportjohnvg2-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1434 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15add foreign exportjohnvg6-0/+78
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1433 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-15/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1432 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-92/+143
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1431 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-12removed unused argument of FP_AlgebraicPatternronny1-12/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1430 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d