aboutsummaryrefslogtreecommitdiff
path: root/frontend/utilities.dcl
diff options
context:
space:
mode:
authormartinw1999-10-18 10:20:25 +0000
committermartinw1999-10-18 10:20:25 +0000
commit39e20be61569d541feb51f3ef9333a7e4728b66b (patch)
tree1d318c6059e0c01e2924308ba740991f7ebce776 /frontend/utilities.dcl
parentcases in lets fixed (diff)
lots of changes in module trans to make fusion work.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@16 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/utilities.dcl')
-rw-r--r--frontend/utilities.dcl4
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/utilities.dcl b/frontend/utilities.dcl
index 434e7c7..5abecf4 100644
--- a/frontend/utilities.dcl
+++ b/frontend/utilities.dcl
@@ -62,9 +62,9 @@ where
fold_st2 [] [] st
= st
fold_st2 [] ys st
- = abort ("fold_st2: second argument list contains more elements" ---> ys)
+ = abort ("fold_st2: second argument list contains more elements")
fold_st2 xs [] st
- = abort ("fold_st2: first argument list contains more elements" ---> xs)
+ = abort ("fold_st2: first argument list contains more elements")
// foldSt :: !(.a -> .(.st -> .st)) ![.a] !.st -> .st
foldSt op l st :== fold_st l st