diff options
| author | ronny | 2001-10-03 09:06:23 +0000 |
|---|---|---|
| committer | ronny | 2001-10-03 09:06:23 +0000 |
| commit | cf5568f7b49370083c48ba0abdb46674c4f739da (patch) | |
| tree | 8f404288c78f6968037fa14106884b910bdcdbc6 /frontend/_aconcat.dcl | |
| parent | removed unnecessary mergeCases (diff) | |
changed from system to definition module
added array copy macro
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@816 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/_aconcat.dcl')
| -rw-r--r-- | frontend/_aconcat.dcl | 8 |
1 files changed, 7 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 |