diff options
| -rw-r--r-- | frontend/_aconcat.dcl | 8 | ||||
| -rw-r--r-- | frontend/_aconcat.icl | 5 |
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 |