[m-rev.] for review: fix maybe.fold_maybe/2 documentation

[Sebastian Godelet]

Hi,




The application of the yes value in the fold_maybe/2 function was

not mentioned in the documentation.




library/maybe.m:

    see above.




--


diff --git a/library/maybe.m b/library/maybe.m
index 31d951a..7dc2361 100644
--- a/library/maybe.m
+++ b/library/maybe.m
@@ -80,7 +80,7 @@
 :- func map_maybe(func(T) = U, maybe(T)) = maybe(U).
 
     % fold_maybe(_, no, Acc) = Acc.
-    % fold_maybe(F, yes(Value), Acc0) = F(Acc0).
+    % fold_maybe(F, yes(Value), Acc0) = F(Value, Acc0).
     %
 :- func fold_maybe(func(T, U) = U, maybe(T), U) = U.



--
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20150303/3c36d385/attachment.html>