aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2004-05-07When creating new functions for case expression, don't pass the variablejohnvg1-82/+85
after 'case' twice as parameter when the variable is also used in the right hand side of a case alternative. This can cause incorrect code generation when the reuse unique node optimization is used, because the compiler could incorrectly reuse the variable after pattern matching, causing the other parameter to be overwritten. Remove unused function convertDefault git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1496 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-19remove TC; typesronny5-100/+20
type constructors in dynamic types are now uniquely represented by the descriptor of their TD_ (type definition) function git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1486 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-06fix possible compiler crash if a type synonym has a . on the rhs (added casejohnvg4-35/+55
for TA_RootVar in substitute), prevent exponential use of time in function build_inequalities git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1484 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-02implement foreign export with stdcalljohnvg6-18/+46
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1483 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-02export strictness of tuple of <:: and writeTypejohnvg2-5/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1481 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-02export strictness of argument of newHashTablejohnvg2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1480 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 kindronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1470 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-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-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-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
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-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 foreign exportjohnvg13-205/+301
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1436 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-11move FunctionPattern type from syntax to backendconvertjohnvg2-24/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1428 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-11remove BackendBodyjohnvg2-13/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1427 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-11bug fix: use a new ptr in expanded dynamicronny1-3/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1426 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-01use same default fixity and priority (infixl 9) everywhereronny4-6/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1421 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-11-04compare TFAjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1419 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-17added limited support for uniqueness attributes in dynamic typesronny4-5/+31
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1394 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-07move (open/close)TclFile from type_io to compileronny2-63/+0
this removes a platform dependency from the frontend git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1385 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-07isolate Index type for compatability with Sparkle source treeronny3-3/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1384 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-17removed unused var_heap parameterronny1-20/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1377 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-16removed boolean result from substituteType and substitute: theyronny8-110/+103
could only fail in case of a kind error which is already detected elsewhere git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1376 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-16added function typesronny1-6/+44
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1375 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-16code cleanup: introduced records for info and state parametersronny1-138/+159
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1374 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-15removed exported type definitions from icl moduleronny1-44/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1373 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-08-22also expand synonym types in dynamics for TAS by reusing the TA coderonny1-7/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1372 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-08-20removed unnecessary separate fields for universal variables,ronny4-15/+13
they are represented by the TFA constructor for types git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1371 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-08-19removed unused administrationsronny9-150/+83
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1370 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-08-19removed unused global type codes argumentsronny1-26/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1369 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-07-15OBJECT marking is addedalimarin6-90/+234
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1368 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-07-01changed some names to properly reflect their typeronny1-37/+37
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1367 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-16 06:36:46 +0000