diff options
Diffstat (limited to 'frontend/_aconcat.icl')
| -rw-r--r-- | frontend/_aconcat.icl | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/frontend/_aconcat.icl b/frontend/_aconcat.icl index 8259980..4bd758f 100644 --- a/frontend/_aconcat.icl +++ b/frontend/_aconcat.icl @@ -7,12 +7,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 @@ -21,12 +16,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 @@ -35,12 +25,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 @@ -48,12 +33,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] @@ -67,12 +47,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 |