From 84aff3c97f2d0f867e390b33c11161a30a808215 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 4 Mar 2002 14:35:18 +0000
Subject: add missing case for TAS constructor (for strict lists)

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

(limited to 'frontend')

diff --git a/frontend/type.icl b/frontend/type.icl
index 43c93d7..aa7f448 100644
--- a/frontend/type.icl
+++ b/frontend/type.icl
@@ -764,7 +764,9 @@ fresh_overloaded_list_type [{ap_symbol}:patterns] pd_cons_symbol pd_nil_symbol d
 			  (fun_type_copy,ts) = determineSymbolTypeOfFunction pos me_symb 1 me_type me_type_ptr common_defs ts
 			  {tst_args,tst_arity,tst_lifted,tst_result,tst_context,tst_attr_env}=fun_type_copy						  
 			# result_type = case tst_args of [t] -> t
-			# argument_types = case tst_result.at_type of (TA _ args=:[arg1,arg2]) ->args
+			# argument_types = case tst_result.at_type of
+									TA _ args=:[arg1,arg2] -> args
+									TAS _ args=:[arg1,arg2] _ -> args
 			= (argument_types,result_type,tst_context,tst_attr_env,ts)
 
 freshOverloadedListType :: !OverloadedListType !CoercionPosition ![AlgebraicPattern] !{#CommonDefs} !{#{#FunType }} !*TypeState -> (![[AType]],!AType,![TypeContext],![AttrCoercion],!*TypeState)
-- 
cgit v1.2.3