aboutsummaryrefslogtreecommitdiff
path: root/frontend/_aconcat.dcl
diff options
context:
space:
mode:
authorjohnvg2005-11-11 13:41:48 +0000
committerjohnvg2005-11-11 13:41:48 +0000
commita16b73abec267ae738dbd8dbe47c9098a4752652 (patch)
treed09891e372818d78363b9c56eba8a2ad950c8e73 /frontend/_aconcat.dcl
parentremove code for compatibility with Clean 1.3 (diff)
remove code for compatibility with Clean 1.3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1560 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/_aconcat.dcl')
-rw-r--r--frontend/_aconcat.dcl25
1 files changed, 0 insertions, 25 deletions
diff --git a/frontend/_aconcat.dcl b/frontend/_aconcat.dcl
index 316f284..6fcb387 100644
--- a/frontend/_aconcat.dcl
+++ b/frontend/_aconcat.dcl
@@ -8,12 +8,7 @@ arrayConcat a1 a2
where
r2={r1 & [i+s1]=a2.[i] \\ i<-[0..s2-1]}
r1={r0 & [i]=a1.[i] \\ i<-[0..s1-1]}
-/*2.0
r0=_createArray (s1+s2)
-0.2*/
-//1.3
- r0=_createArrayc (s1+s2)
-//3.1
s1=size a1
s2=size a2
@@ -22,12 +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]}
-/*2.0
r0=_createArray (s1+s2)
-0.2*/
-//1.3
- r0=_createArrayc (s1+s2)
-//3.1
s1=size a
s2=length l
@@ -36,12 +26,7 @@ arrayPlusRevList a l
where
r2={r1 & [sr-i]=e \\ i<-[1..s2] & e<-l}
r1={r0 & [i]=a.[i] \\ i<-[0..s1-1]}
-/*2.0
r0=_createArray sr
-0.2*/
-//1.3
- r0=_createArrayc sr
-//3.1
sr=s1+s2
s1=size a
s2=length l
@@ -49,12 +34,7 @@ where
arrayCopyBegin a s
:== copy_elements a r0 0
where
-/*2.0
r0=_createArray s
-0.2*/
-//1.3
- r0=_createArrayc s
-//3.1
copy_elements a1 a2 i
| i<size a2
# (e,a1) = a1![i]
@@ -68,12 +48,7 @@ arrayCopy a
= usize a
arrayAndElementsCopy place_holder copy_element_function array
-/*2.0
:== copy place_holder array1 (_createArray n) 0 n
-0.2*/
-//1.3
- :== copy place_holder array1 (_createArrayc n) 0 n
-//3.1
where
(n, array1)
= usize array