From 80db9cea7e54f3d75f130267ebc15bec336e0872 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 31 Aug 2001 11:02:36 +0000
Subject: add type for function checkSpecialTypes

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

(limited to 'frontend')

diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl
index a5c5e99..847f8fa 100644
--- a/frontend/checktypes.icl
+++ b/frontend/checktypes.icl
@@ -1197,10 +1197,9 @@ where
 			= (bind, { cs & cs_symbol_table= cs_symbol_table, cs_error = checkError id_name "type variable not defined" cs_error })
 checkSpecialTypeVars SP_None cs
 	= (SP_None, cs)
-/*	
-checkSpecialTypes :: !Index !Specials !u:{#.CheckedTypeDef} !u:{#.DclModule} !*TypeHeaps !*CheckState
-	-> (!Specials, !u:{#CheckedTypeDef},!u:{#DclModule},!*TypeHeaps,!*CheckState)
-*/
+
+checkSpecialTypes :: !Index !Specials !v:{#CheckedTypeDef} !u:{#.DclModule} !*TypeHeaps !*CheckState
+	-> (!Specials,!x:{#CheckedTypeDef},!w:{#DclModule},!.TypeHeaps,!.CheckState), [u v <= w, v u <= x];
 checkSpecialTypes mod_index (SP_ParsedSubstitutions envs) type_defs modules heaps cs
 	# ots = { ots_type_defs = type_defs, ots_modules = modules }
 	  (specials, (heaps, ots, cs)) = mapSt (check_environment mod_index) envs (heaps, ots, cs)
-- 
cgit v1.2.3