aboutsummaryrefslogtreecommitdiff
path: root/frontend/convertcases.icl
AgeCommit message (Collapse)AuthorFilesLines
2003-01-15bug fix for non explicit cases with local variables injohnvg1-5/+10
case alternative(s) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1311 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-21bug fix: handle FailExpr in copyronny1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1287 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-12bug fix, new method to classify cases that should be transformedronny1-184/+292
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1275 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-07revert bug fix in convert cases in anticipation of a proper fixronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1269 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-01moved RefCountsInCase and SplitsInCase type definitions from syntax to ↵ronny1-0/+32
convertcases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1266 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-14bug fix convert root casesronny1-8/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1233 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-08Add alternatives for FailExprdiederik1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1221 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-24introduce functions for fail expressions on non-root positionsronny1-1/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1211 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20moved var info definitions to the modules where they are usedronny1-0/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1204 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20removed unnecessary exportsronny1-0/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1203 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20removed SK_GeneratedCaseFunction: it's not necessary any more, becauseronny1-1/+1
there are no function generated in convertDynamics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1202 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20switch to 2.0 syntax, remove duplicated definitions from icl modulesronny1-5/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1200 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-19fixed bugs caused by sharing of case and let info ptrs and using incorrect ↵ronny1-36/+25
case info ptr git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1198 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-04Add SK_GeneratedCaseFunction for dynamic cases fixdiederik1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1196 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-22disable trace statementronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1189 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-22transform implicit cases on rhs variables, see comment before splitCases in ↵ronny1-56/+596
convertcases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1188 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-26don't move tuple and record selectors into explicit casesjohnvg1-38/+83
if the tuple or record is created outside the case expression git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1063 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-07fix bug for boolean cases with then or else expressions thatjohnvg1-6/+4
can fail and also have a default expression git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1005 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-3/+6
and remove annotations in generated functions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1001 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-7/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg1-5/+5
added BVInt removed symb_arity from SymbIdent git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-01removed useless selectionronny1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@875 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-1/+1
remove conversion table, except for macros git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@863 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04fail explicit casesronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@827 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04removed unused function makeCaseronny1-12/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@826 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-03removed unnecessary mergeCasesronny1-290/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@815 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-5/+6
Universally quantified types used in class members git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@811 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-01Add producer class for fusiondiederik1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@806 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-07module ownership commentronny1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@763 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06remove fun_index from FunDefjohnvg1-2/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@746 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for OverloadedListPatternsjohnvg1-67/+60
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@711 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-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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 02:36:10 +0000