From f2591a6ff00c2b50d821ac5025aee97f907f5d30 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 23 Oct 2013 09:34:41 +0000
Subject: undo previous commit, because it causes the compiler to crash when
 compiling the CleanIDE (undo: check the type of instances defined using :==
 (maybe the parser should reject these instances))

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

(limited to 'frontend')

diff --git a/frontend/transform.icl b/frontend/transform.icl
index eb55392..714ea74 100644
--- a/frontend/transform.icl
+++ b/frontend/transform.icl
@@ -1392,11 +1392,6 @@ where
 	remove_macros_from_group [FunctionOrIclMacroIndex fun:funs] fun_defs
 		# (funs,fun_defs)=remove_macros_from_group funs fun_defs
 		| fun_defs.[fun].fun_info.fi_group_index<NoIndex
-			/*	Macros don't have types, however the parser allows :== for instances, which results in a macro with a type.
-				These types must be checked, because if the type of the expression is incorrect and the instance is exported,
-				an incorrectly typed program can be compiled. Currently using :== in instances probably has no effect,
-				so it might be better to reject this in the parser. */
-			&& case fun_defs.[fun].fun_type of No -> True; _ -> False
 			= (funs,fun_defs)
 			= ([fun:funs],fun_defs)
 	remove_macros_from_group [DclMacroIndex macro_module_index macro_index:funs] fun_defs		
-- 
cgit v1.2.3