Commit 2b63f548 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur
Browse files

changed from system to definition module

added array copy macro
parent 95eecaf4
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
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment