From 1676f83d0793e37947886aa036b1069661e92d69 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 6 Feb 2002 13:48:00 +0000
Subject: store strictness annotations in SymbolType instead of AType and
 remove annotations in generated functions

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1001 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/convertcases.icl | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/frontend/convertcases.icl b/frontend/convertcases.icl
index 9a06aec..442c7c8 100644
--- a/frontend/convertcases.icl
+++ b/frontend/convertcases.icl
@@ -704,9 +704,10 @@ newFunction :: !(Optional Ident) !FunctionBody ![FreeVar] ![AType] !AType !Int !
 newFunction opt_id fun_bodies local_vars arg_types result_type group_index state
 	=	newFunctionWithType opt_id fun_bodies local_vars fun_type group_index state
 	where
-	  fun_type =
+	  (_,fun_type) = removeAnnotations
 		{	st_vars			= []
 		,	st_args			= arg_types
+		,	st_args_strictness=NotStrict
 		,	st_arity		= length arg_types // -*-> ("newFunction", fun_id.id_name)
 		,	st_result		= result_type
 		,	st_context		= []
@@ -1133,9 +1134,11 @@ where
 
 		# body
 			=	TransformedBody {tb_args=[case_var : [var \\ (var, _) <- free_vars]], tb_rhs=caseExpr}
-	  	  type
-			=	{	st_vars			= []
+	  	  (_,type)
+			=	removeAnnotations
+				{	st_vars			= []
 				,	st_args			= [ct_pattern_type : [ type \\ (_, type) <- free_vars]]
+				,	st_args_strictness=NotStrict
 				,	st_arity		= 1 + length free_vars
 				,	st_result		= ct_result_type
 				,	st_context		= []
-- 
cgit v1.2.3