aboutsummaryrefslogtreecommitdiff
path: root/backend/backendsupport.dcl
diff options
context:
space:
mode:
authorclean2000-07-04 09:07:05 +0000
committerclean2000-07-04 09:07:05 +0000
commit8890c01d9a26a5b7614746b6f43bba97198fca7d (patch)
tree0a77ea29cc8f4966b44bb4676f9bdac28f27b0e7 /backend/backendsupport.dcl
parentremoving trace statement (diff)
labels global function names without ";n" extension
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@181 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/backendsupport.dcl')
-rw-r--r--backend/backendsupport.dcl6
1 files changed, 3 insertions, 3 deletions
diff --git a/backend/backendsupport.dcl b/backend/backendsupport.dcl
index 74f1c55..7b46470 100644
--- a/backend/backendsupport.dcl
+++ b/backend/backendsupport.dcl
@@ -63,12 +63,12 @@ foldStateWithIndexA function array
o` foldStateWithIndexA (index+1)
foldrA function result array
- :== foldrA result 0
+ :== foldrA 0
where
arraySize
= size array
- foldrA result index
+ foldrA index
| index == arraySize
= result
// otherwise
- = function array.[index] (foldrA result (index+1))
+ = function array.[index] (foldrA (index+1))