From 6ae2c8379855566717d49f0a1c3ae710374e3ce6 Mon Sep 17 00:00:00 2001
From: martinw
Date: Fri, 27 Apr 2001 09:43:22 +0000
Subject: bugfix: now   class c m :: *(m Int) -> (m Int) is not accepted
 anymore

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@370 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 7c14be4..301f432 100644
--- a/frontend/checktypes.icl
+++ b/frontend/checktypes.icl
@@ -679,7 +679,7 @@ checkOpenAType mod_index scope dem_attr type=:{at_type = arg_type --> result_typ
 	  (new_attr, oti, cs) = newAttribute dem_attr "-->" at_attribute oti cs
 	= ({ type & at_type = arg_type --> result_type, at_attribute = new_attr }, (ots, oti, cs))
 checkOpenAType mod_index scope dem_attr type=:{at_type = CV tv :@: types, at_attribute} (ots, oti, cs)
-	# (cons_var, _, (oti, cs)) =  checkTypeVar scope DAK_None tv TA_Multi (oti, cs)
+	# (cons_var, _, (oti, cs)) =  checkTypeVar scope DAK_None tv at_attribute (oti, cs)
 	  (types, (ots, oti, cs)) = mapSt (checkOpenAType mod_index scope DAK_None) types (ots, oti, cs)
 	  (new_attr, oti, cs) = newAttribute dem_attr ":@:" at_attribute oti cs
 	= ({ type & at_type = CV cons_var :@: types, at_attribute = new_attr }, (ots, oti, cs))
-- 
cgit v1.2.3