From bafccb48f65b4444450d0edc12f5977848a0eb38 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 6 Feb 2002 15:21:42 +0000
Subject: fix bug when using type definition: ::	* I *a = {	f	:: !a
 } and: I *{String} in function type

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

(limited to 'frontend')

diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl
index 7d85b2f..cf8fd38 100644
--- a/frontend/checktypes.icl
+++ b/frontend/checktypes.icl
@@ -520,7 +520,7 @@ new_demanded_attribute DAK_Ignore _
 new_demanded_attribute _ TA_Unique
 	= DAK_Unique
 new_demanded_attribute dem_attr_kind _
-	= dem_attr_kind
+	= DAK_None /* dem_attr_kind */
 
 checkOpenAType :: !Index !Int !DemandedAttributeKind !AType !(!u:OpenTypeSymbols, !*OpenTypeInfo, !*CheckState)
 	-> (!AType, !(!u:OpenTypeSymbols, !*OpenTypeInfo, !*CheckState))
-- 
cgit v1.2.3