aboutsummaryrefslogtreecommitdiff
path: root/frontend/convertcases.icl
diff options
context:
space:
mode:
authorronny2001-10-04 11:48:43 +0000
committerronny2001-10-04 11:48:43 +0000
commit7606ce4e35327b6a5508113f7f711078864100b2 (patch)
treecd85f233f2d6b16d43a58705a0c3346a251d9aaf /frontend/convertcases.icl
parentremoved unused function makeCase (diff)
fail explicit cases
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@827 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertcases.icl')
-rw-r--r--frontend/convertcases.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/convertcases.icl b/frontend/convertcases.icl
index aa1682e..4901f0b 100644
--- a/frontend/convertcases.icl
+++ b/frontend/convertcases.icl
@@ -1083,7 +1083,7 @@ convertNonRootCase ci=:{ci_bound_vars, ci_group_index, ci_common_defs} kees=:{ c
case_free_var = { fv_def_level = NotALevel, fv_name = var_id, fv_info_ptr = new_info_ptr, fv_count = 0}
cs = { cs & cs_var_heap = cs_var_heap}
- kees = {kees & case_expr=case_var}
+ kees = {kees & case_expr=case_var, case_explicit=False}
(case_expr, cs) = convertCases ci case_expr cs