diff options
author | johnvg | 2005-11-11 13:41:48 +0000 |
---|---|---|
committer | johnvg | 2005-11-11 13:41:48 +0000 |
commit | a16b73abec267ae738dbd8dbe47c9098a4752652 (patch) | |
tree | d09891e372818d78363b9c56eba8a2ad950c8e73 /frontend/_aconcat.dcl | |
parent | remove code for compatibility with Clean 1.3 (diff) |
remove code for compatibility with Clean 1.3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1560 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/_aconcat.dcl')
-rw-r--r-- | frontend/_aconcat.dcl | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/frontend/_aconcat.dcl b/frontend/_aconcat.dcl index 316f284..6fcb387 100644 --- a/frontend/_aconcat.dcl +++ b/frontend/_aconcat.dcl @@ -8,12 +8,7 @@ arrayConcat a1 a2 where r2={r1 & [i+s1]=a2.[i] \\ i<-[0..s2-1]} r1={r0 & [i]=a1.[i] \\ i<-[0..s1-1]} -/*2.0 r0=_createArray (s1+s2) -0.2*/ -//1.3 - r0=_createArrayc (s1+s2) -//3.1 s1=size a1 s2=size a2 @@ -22,12 +17,7 @@ arrayPlusList a l where r2={r1 & [i+s1]=e \\ i<-[0..s2-1] & e<-l} r1={r0 & [i]=a.[i] \\ i<-[0..s1-1]} -/*2.0 r0=_createArray (s1+s2) -0.2*/ -//1.3 - r0=_createArrayc (s1+s2) -//3.1 s1=size a s2=length l @@ -36,12 +26,7 @@ arrayPlusRevList a l where r2={r1 & [sr-i]=e \\ i<-[1..s2] & e<-l} r1={r0 & [i]=a.[i] \\ i<-[0..s1-1]} -/*2.0 r0=_createArray sr -0.2*/ -//1.3 - r0=_createArrayc sr -//3.1 sr=s1+s2 s1=size a s2=length l @@ -49,12 +34,7 @@ where arrayCopyBegin a s :== copy_elements a r0 0 where -/*2.0 r0=_createArray s -0.2*/ -//1.3 - r0=_createArrayc s -//3.1 copy_elements a1 a2 i | i<size a2 # (e,a1) = a1![i] @@ -68,12 +48,7 @@ arrayCopy a = usize a arrayAndElementsCopy place_holder copy_element_function array -/*2.0 :== copy place_holder array1 (_createArray n) 0 n -0.2*/ -//1.3 - :== copy place_holder array1 (_createArrayc n) 0 n -//3.1 where (n, array1) = usize array |