aboutsummaryrefslogtreecommitdiff
path: root/frontend/convertDynamics.icl
diff options
context:
space:
mode:
authorjohnvg2011-11-04 16:33:42 +0000
committerjohnvg2011-11-04 16:33:42 +0000
commit105ab31de834c39dce9c3864a2afaecfed9631cd (patch)
treeb40560d2ce7cc82c0342c88524286e5cb1ce11f1 /frontend/convertDynamics.icl
parentremove differences in layout between the compiler and the iTask compiler (diff)
remove differences in layout between the compiler and the iTask compiler,
modified case_explicit of generated cases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1994 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertDynamics.icl')
-rw-r--r--frontend/convertDynamics.icl5
1 files changed, 3 insertions, 2 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl
index 7eb5261..5469f19 100644
--- a/frontend/convertDynamics.icl
+++ b/frontend/convertDynamics.icl
@@ -333,7 +333,7 @@ instance convertDynamics Case where
-> convertDynamicCase cinp kees ci
_
# (case_guards, ci) = convertDynamics cinp case_guards ci
- # kees = {kees & case_guards=case_guards}
+ # kees = {kees & case_explicit=False, case_guards=case_guards}
-> (kees, ci)
instance convertDynamics CasePatterns where
@@ -374,7 +374,8 @@ convertDynamicCase cinp=:{cinp_dynamic_representation={dr_dynamic_symbol, dr_dyn
, ap_position = position alts
}
# (case_info_ptr, ci) = dummy_case_ptr result_type ci
- # kees = {kees & case_guards=AlgebraicPatterns dr_dynamic_type [match], case_default=No, case_info_ptr = case_info_ptr}
+ # kees = {kees & case_explicit=False, case_guards=AlgebraicPatterns dr_dynamic_type [match],
+ case_default=No, case_info_ptr=case_info_ptr}
= (kees, ci)
convertDynamicAlts _ _ _ _ _ defoult [] ci