From 105ab31de834c39dce9c3864a2afaecfed9631cd Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 4 Nov 2011 16:33:42 +0000
Subject: 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
---
 frontend/convertDynamics.icl | 5 +++--
 1 file 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
-- 
cgit v1.2.3