Commit c975b296 authored by John van Groningen's avatar John van Groningen
Browse files

remove code for Clean 1.3

parent 5351fa56
......@@ -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
......
......@@ -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
......
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment