From ed43105eed9ce791936faf82975409aea86ab8c1 Mon Sep 17 00:00:00 2001
From: sjakie
Date: Wed, 30 Oct 2002 10:30:25 +0000
Subject: Removed at least 4 bugs (maybe more, but i can't remember): better
 check for properties of abstract types, check for linearity of instance
 types, uniqueness bug for type synonyms, kind check for function (arrow)
 types

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

(limited to 'frontend/type.icl')

diff --git a/frontend/type.icl b/frontend/type.icl
index 4ded1b0..73fb624 100644
--- a/frontend/type.icl
+++ b/frontend/type.icl
@@ -1864,7 +1864,10 @@ where
 		  (th_vars, ts_expr_heap) = clear_dynamics fi_dynamics (prop_type_heaps.th_vars, ts.ts_expr_heap)
 		  (fresh_fun_type, ts) = freshSymbolType No cWithoutFreshContextVars ft_with_prop common_defs { ts & ts_type_heaps = { prop_type_heaps & th_vars = th_vars }, ts_expr_heap = ts_expr_heap,
 		  		 ts_td_infos = prop_td_infos, ts_error = ts_error }
-		  (lifted_args, ts) = fresh_non_unique_type_variables fun_lifted [] ts
+//		  (lifted_args, ts) = fresh_non_unique_type_variables fun_lifted [] ts
+		  (lifted_args, ts) = fresh_attributed_type_variables fun_lifted [] ts
+
+
 		  (ts_var_store, ts_type_heaps, ts_var_heap, ts_expr_heap, pre_def_symbols)
 		  		= fresh_dynamics fi_dynamics (ts.ts_var_store, ts.ts_type_heaps, ts.ts_var_heap, ts.ts_expr_heap, pre_def_symbols)
 		= (pre_def_symbols,
-- 
cgit v1.2.3