remove code for Clean 1.3

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1538 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

1 files changed, 1 insertions, 13 deletions

diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl
index 4e7502e..3ea1f4f 100644
--- a/frontend/comparedefimp.icl
+++ b/frontend/comparedefimp.icl
@@ -694,13 +694,7 @@ instance t_corresponds (a, b) | t_corresponds a & t_corresponds b where
 		=	t_corresponds a1 a2
 		&&&	t_corresponds b1 b2
 
-
-/*2.0
 instance t_corresponds {# a} | t_corresponds a & Array {#} a
-0.2*/
-//1.3
-instance t_corresponds {# a} | ArrayElem , t_corresponds a
-//3.1
 where 
 	t_corresponds dclArray iclArray
 		# size_dclArray = size dclArray
@@ -708,18 +702,12 @@ where
 			= return False
 			= loop (size_dclArray-1) dclArray iclArray
 	  where
-/*2.0
-		loop :: !Int !{# a} !{# a} -> *TypesCorrespondMonad | t_corresponds a & Array {#} a // 2.0
-0.2*/
-//1.3
-		loop :: !Int !{# a} !{# a} -> *TypesCorrespondMonad | t_corresponds, select_u a
-//3.1
+		loop :: !Int !{# a} !{# a} -> *TypesCorrespondMonad | t_corresponds a & Array {#} a
 		loop i dclArray iclArray
 			| i<0
 				= return True
 				= t_corresponds dclArray.[i] iclArray.[i]
 			&&& loop (i-1) dclArray iclArray
-		
 
 instance t_corresponds (Optional a) | t_corresponds a where 
 	t_corresponds No No