remove code for Clean 1.3

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

3 files changed, 1 insertions, 29 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
diff --git a/frontend/generics1.icl b/frontend/generics1.icl
index e72a01e..95b04aa 100644
--- a/frontend/generics1.icl
+++ b/frontend/generics1.icl
@@ -7,13 +7,7 @@ implementation module generics1
 import StdEnv
 import check
 from checktypes import createClassDictionaries
-/*2.0
 from transform import ::Group
-0.2*/
-//1.3
-from transform import Group
-//3.1
-
 import genericsupport
 import compilerSwitches
 
diff --git a/frontend/type_io.icl b/frontend/type_io.icl
index a667052..0205293 100644
--- a/frontend/type_io.icl
+++ b/frontend/type_io.icl
@@ -86,12 +86,7 @@ where
 			= write_type_info cons_exi_vars tcl_file wtis
 		= (tcl_file,wtis)
 			
-//1.3
-instance WriteTypeInfo TypeDef TypeRhs
-//3.1
-/*2.0
 instance WriteTypeInfo (TypeDef TypeRhs)
-0.2*/
 where 
 	write_type_info {td_ident,td_arity,td_args,td_rhs} tcl_file wtis
 		// normalize ...
@@ -433,12 +428,7 @@ where
 	write_type_info i tcl_file wtis
 		= (fwritei i tcl_file,wtis)
 
-//1.3
-instance WriteTypeInfo {#b} | select_u, size_u, WriteTypeInfo b
-//3.1
-/*2.0
 instance WriteTypeInfo {#b} | Array {#} b & WriteTypeInfo b
-0.2*/
 where
 	write_type_info unboxed_array tcl_file wtis
 		# s_unboxed_array