aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2001-07-18removed unused code to detect tuple patterns for merging casesronny1-21/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@548 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-13{} is not allowed in patterns, because array 'denotations' in patternsjohnvg1-3/+4
are not implemented git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@543 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-12uniqueness attributes in backendronny2-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@542 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-12made compilable with Clean 2.0 by introducing a typed local functionronny1-6/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@541 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-29cleaning up: removing all these hopelessly silly long function namesmartinw1-49/+49
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@513 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-29cleaning upmartinw1-41/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@512 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-28disable PA_bugjohnvg3-8/+8
disable generics using a macro git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@508 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-28Sjaak: removed 'dyn_uni_vars' from type 'DynamicExpr'sjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@507 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie11-314/+341
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@505 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-25generate .depend for current dcl moduleronny3-2/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@504 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-25also add pattern variables in Cases to cp_local_varsronny1-2/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@503 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-25cases in backendronny1-713/+1034
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@502 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny7-17/+92
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@494 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-21bug fix: line numbers in type errors for let bindingsjohnvg1-16/+39
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@492 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-20optimise && and ||johnvg4-35/+65
(new: transform.[id]cl, check.icl, generics.icl) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@489 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15Bug fix. Free type variables were referenced but not defined.martijnv3-27/+45
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@483 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15making kind checking phase compatible with dcl cachingmartinw11-113/+220
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@482 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15added new error messagemartinw1-23/+63
"attribute variable of lifted argument appears in specified type" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@481 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-14support for module system is added to genercisalimarin5-169/+414
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@480 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification ↵sjakie15-909/+557
algorithm. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@478 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-08merge all casesronny1-4/+59
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@476 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-08mergeCases in separate moduleronny3-290/+308
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@475 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-06set the 'fun_pos' of a 'FunDef' for functions with a specified typejohnvg1-9/+8
to the position of the type instead of the position of the first alternative git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@473 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-06removed code that prints the pointer in instance <<<johnvg1-2/+2
for TypeVar, because the address appears in an error message git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@472 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05for error messages in patterns use line number of the alternative,johnvg3-33/+23
instead of line number of first alternative (new: check.icl, checkFunctionBodies.[id]cl) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@471 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05introduced newFunctionWithTyperonny1-6/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@466 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05undo previous commitronny1-382/+393
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@465 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05accidental commitronny1-393/+382
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@464 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05changed all trace arrows (==>, ---->) to -*->ronny1-42/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@463 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05added // otherwisesronny1-0/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@462 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05added type signaturesronny1-4/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@461 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05renamed CopyInfo to CopyStateronny1-105/+105
changed field name prefix from ci_ to cp_ changed argument names from cp_info to cp_state git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@460 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05renamed DistributeInfo to DistributeStateronny1-108/+108
changed field name prefix from di_ to ds_ git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@459 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05renamed rcs_info parameters to rcsronny1-91/+91
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@458 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05combined fields in CheckImportedInfo (subphase of weighted refcount)ronny1-33/+38
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@457 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05moved rcs_main_dcl_module_n field from RCState to RCInforonny1-29/+29
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@456 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05combinden weightedRefCount parameters in RCInfo recordronny1-78/+84
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@455 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05renamed RCInfo to RCStateronny1-126/+126
changed field name prefix from rc_ to rcs_ git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@454 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05reordered functions to reflect order within convertcasesronny1-688/+689
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@453 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01removed comments with alternatives for DynamicExprronny1-73/+1
dynamics are converted before convertcases) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@451 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01removed MW0 commentsronny1-4/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@450 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01removed import of debug modulejohnvg2-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@448 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01The _Module generated for each icl-module conflicted with record of namemartijnv2-2/+2
Module because the compiler prefixes it with an underscore. As a result multiple defined _Module-symbols were reported by the compiler. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@445 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01removed import pp in order to make the compiler compilable without mymartijnv1-1/+1
pretty print function. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@444 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-31added mechanism to generate a module id for each module. Fixed an indexmartijnv5-71/+154
out of range error reported by Peter. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@443 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-31fix bug in uniqueness typing for array updates with (a & [i ]= e} syntaxjohnvg1-27/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@442 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-31Added a switch which generates for an unify/coerce application an extramartijnv1-17/+57
third argument. This argument is used by the dynamic run-time system to identify the context of an unify/coerce application. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@441 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30bug fix: arrays of unboxed functions are not allowedjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@440 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30in 'transform' of trans.icl also transform expressions in selections of an ↵johnvg1-0/+17
Update node git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@439 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30detect in 'postparse' when the definition module correspondingjohnvg3-18/+30
to the main module is imported, and the main module is not an implementation module. renamed local function 'scan_dcl_module' into 'scan_main_dcl_module'. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@438 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 06:21:59 +0000