diff options
Diffstat (limited to 'frontend/utilities.dcl')
| -rw-r--r-- | frontend/utilities.dcl | 4 |
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 |