aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/_aconcat.dcl8
-rw-r--r--frontend/_aconcat.icl5
2 files changed, 12 insertions, 1 deletions
diff --git a/frontend/_aconcat.dcl b/frontend/_aconcat.dcl
index 267c305..f95aab7 100644
--- a/frontend/_aconcat.dcl
+++ b/frontend/_aconcat.dcl
@@ -1,4 +1,4 @@
-system module _aconcat
+definition module _aconcat
import StdArray,StdInt,StdEnum,StdList
@@ -59,3 +59,9 @@ where
# (e,a1) = a1![i]
= copy_elements a1 {a2 & [i]=e} (i+1)
= (a2,a1)
+
+arrayCopy a s
+ :== arrayCopyBegin a1 s
+ where
+ (s, a1)
+ = usize a
diff --git a/frontend/_aconcat.icl b/frontend/_aconcat.icl
index 4e3e47d..cf6abc1 100644
--- a/frontend/_aconcat.icl
+++ b/frontend/_aconcat.icl
@@ -59,3 +59,8 @@ where
# (e,a1) = a1![i]
= copy_elements a1 {a2 & [i]=e} (i+1)
= (a2,a1)
+arrayCopy a s
+ :== arrayCopyBegin a1 s
+ where
+ (s, a1)
+ = usize a