aboutsummaryrefslogtreecommitdiff
path: root/frontend/convertcases.icl
AgeCommit message (Collapse)AuthorFilesLines
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-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-05-11fixed bug in convertCases Let (introduced in previous commit)ronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@427 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09combined convert paramaters in recordronny1-166/+103
removed comments git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@407 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08accidental commitronny1-7/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@405 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08renamed ci_ fieldname prefixes and ci variables to cs_ and csronny1-240/+240
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@404 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08removed uniqueness attribute in ConvertState type definitionronny1-4/+4
(ConvertState is attributed where it's use uniquely) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@403 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08renamed ConversionInfo to ConvertStateronny1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@402 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08replaced call to my_zip by exactZip, removed definition my_zipronny1-4/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@401 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08replaced zip2's with exactZip (fails when its arguments are of unequal length)ronny1-8/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@400 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08split convertcases in two modules (convertcases and convertimportedtypes)ronny1-123/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@398 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08renamed convertCasesOfFunctionsIntoPatterns to convertCasesOfFunctionsronny1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@397 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08moved ImportedFunctions from convertcases to transronny1-2/+0
(it's now together with ImportedConstructors) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@396 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-27unfold all macros and local functions in macrosjohnvg1-2/+7
changed Declaration type fixed crash when macro appears only in dcl module added make with caching in 'main' use BoxedIdent in hashtable git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@344 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-10/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@335 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02making compiler self compilable (this doesn't say anything about themartinw1-4/+0
quality of the generated executable) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@314 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-4/+3
dcl macros in icl functions and macros removed expanded macros from groups (s.c.components) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@259 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-04-added position information for let bindings for better error messagesmartinw1-13/+57
(changes are commented with "MW0") git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@248 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-45/+51
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@232 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-11fixed bug in 'case_is_partial'clean1-2/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@187 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-16fix another bug in boolean cases that may failclean1-30/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@166 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-14correcting tiny change of previous revisionmartinw1-2/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@163 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-14tiny change to make compiler compilable by itself (2.0 parser works eithermartinw1-1/+2
with our without layout rule, but not with both) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@159 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-13fixed bug in boolean case expressions of which first alt may failclean1-2/+13
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@158 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-09Added preprocessor directives, so that one and the same source can bemartinw1-1/+1
compiled with Clean 1.3 and Clean 2.0 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@155 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26changes to make compiler compatible with itselfmartinw1-10/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@126 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-30removing record field "lei_strict" that became superflous due to the last ↵martinw1-12/+6
revision git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@124 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-17 - making array patterns strict (strict lets were not properly handledmartinw1-28/+43
in "convertCasesOfFunctionsIntoPatterns" and "collectVariables") - new switch "SwitchUniquenessBug" in module checksupport - several bugfixes git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@114 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-5/+1
(new module: comparedefimp) - implemented array patterns. Further work: arrays are in lazy context (should be strict), currently only one dimensional arrays - optimised memory usage for explicit imports git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@94 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-16buf fix (dictionary types in dcl modules)sjakie1-2/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@91 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-15added Boolean to FunctionKind to mark genetared functionsronny1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@90 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-19bug fix (changed syntax tree)sjakie1-40/+38
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@79 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-01Several bug fixes:sjakie1-4/+3
- dictionary arguments added properly - coercion of function types git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@61 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-23change: dynamics are now converted before 'fusion'sjakie1-71/+102
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@58 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d