aboutsummaryrefslogtreecommitdiff
path: root/frontend/_aconcat.icl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/_aconcat.icl')
-rw-r--r--frontend/_aconcat.icl22
1 files changed, 16 insertions, 6 deletions
diff --git a/frontend/_aconcat.icl b/frontend/_aconcat.icl
index b0c4d95..67d7771 100644
--- a/frontend/_aconcat.icl
+++ b/frontend/_aconcat.icl
@@ -7,18 +7,26 @@ arrayConcat a1 a2
where
r2={r1 & [i+s1]=a2.[i] \\ i<-[0..s2-1]}
r1={r0 & [i]=a1.[i] \\ i<-[0..s1-1]}
-// r0=_createArray (s1+s2) // 2.0
+/*2.0
+ r0=_createArray (s1+s2)
+0.2*/
+//1.3
r0=_createArrayc (s1+s2)
+//3.1
s1=size a1
s2=size a2
arrayPlusList a l
:==r2
where
- r2={r1 & [i+s1]=e \\ i<-[0..s2-1] & e <- l}
+ r2={r1 & [i+s1]=e \\ i<-[0..s2-1] & e<-l}
r1={r0 & [i]=a.[i] \\ i<-[0..s1-1]}
-// r0=_createArray (s1+s2) // 2.0
+/*2.0
+ r0=_createArray (s1+s2)
+0.2*/
+//1.3
r0=_createArrayc (s1+s2)
+//3.1
s1=size a
s2=length l
@@ -27,10 +35,12 @@ arrayPlusRevList a l
where
r2={r1 & [sr-i]=e \\ i<-[1..s2] & e<-l}
r1={r0 & [i]=a.[i] \\ i<-[0..s1-1]}
-// r0=_createArray sr // 2.0
+/*2.0
+ r0=_createArray sr // 2.0
+0.2*/
+//1.3
r0=_createArrayc sr
+//3.1
sr=s1+s2
s1=size a
s2=length l
-
-