aboutsummaryrefslogtreecommitdiff
path: root/frontend/_aconcat.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/_aconcat.dcl')
-rw-r--r--frontend/_aconcat.dcl5
1 files changed, 4 insertions, 1 deletions
diff --git a/frontend/_aconcat.dcl b/frontend/_aconcat.dcl
index 3647358..38c3da8 100644
--- a/frontend/_aconcat.dcl
+++ b/frontend/_aconcat.dcl
@@ -1,12 +1,13 @@
system module _aconcat
-import _SystemArray,StdInt,StdEnum,StdList
+import StdArray,StdInt,StdEnum,StdList
arrayConcat a1 a2
:==r2
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
r0=_createArrayc (s1+s2)
s1=size a1
s2=size a2
@@ -16,6 +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]}
+// r0=_createArray (s1+s2) // 2.0
r0=_createArrayc (s1+s2)
s1=size a
s2=length l
@@ -26,6 +28,7 @@ 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
r0=_createArrayc sr
sr=s1+s2
s2=length l