aboutsummaryrefslogtreecommitdiff
path: root/frontend/refmark.icl
diff options
context:
space:
mode:
authorsjakie2000-03-20 12:55:22 +0000
committersjakie2000-03-20 12:55:22 +0000
commitd73dfa2ea9768ce709c4a69e7cb1e3b75cee50b0 (patch)
treefeba4a6a23389e9f64c977742ba76de3d3b59a56 /frontend/refmark.icl
parent - making array patterns strict (strict lets were not properly handled (diff)
*** empty log message ***
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@115 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/refmark.icl')
-rw-r--r--frontend/refmark.icl5
1 files changed, 3 insertions, 2 deletions
diff --git a/frontend/refmark.icl b/frontend/refmark.icl
index 5ff60bc..abe40c7 100644
--- a/frontend/refmark.icl
+++ b/frontend/refmark.icl
@@ -335,6 +335,7 @@ refMarkOfCase free_vars sel expr (BasicPatterns type patterns) defaul var_heap
(local_lets, var_heap) = collectLocalLetVars free_vars var_heap
(pattern_depth, used_lets, var_heap) = foldSt (ref_mark_of_basic_pattern free_vars sel local_lets) patterns (0, [], var_heap)
= refMarkOfDefault False pattern_depth free_vars sel defaul used_lets var_heap
+// ---> ("refMarkOfCase", expr, [ (bp_value, bp_expr) \\ {bp_value, bp_expr} <- patterns])
where
ref_mark_of_basic_pattern free_vars sel local_lets {bp_expr} (pattern_depth, used_lets, var_heap)
# pattern_depth = inc pattern_depth
@@ -394,10 +395,10 @@ where
| do_par_combine
# new_comb_ref_count = parCombineRefCount comb_ref_count occ_ref_count
= (new_comb_ref_count, occ_previous)
- // ---> ("parCombineRefCount", comb_ref_count, occ_ref_count, new_comb_ref_count)
+// ---> ("parCombineRefCount", comb_ref_count, occ_ref_count, new_comb_ref_count)
# new_comb_ref_count = seqCombineRefCount comb_ref_count occ_ref_count
= (new_comb_ref_count, occ_previous)
- // ---> ("seqCombineRefCount", comb_ref_count, occ_ref_count, new_comb_ref_count)
+// ---> ("seqCombineRefCount", comb_ref_count, occ_ref_count, new_comb_ref_count)
case_combine_ref_counts do_par_combine comb_ref_count [occ_ref_count:occ_previous] depth
# new_comb_ref_count = case_combine_ref_count comb_ref_count occ_ref_count
= case_combine_ref_counts do_par_combine new_comb_ref_count occ_previous (dec depth)