<html>
<head>
<meta name="generator" content="Windows Mail 17.5.9600.20689">
<style data-externalstyle="true"><!--
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph {
margin-top:0in;
margin-right:0in;
margin-bottom:0in;
margin-left:.5in;
margin-bottom:.0001pt;
}
p.MsoNormal, li.MsoNormal, div.MsoNormal {
margin:0in;
margin-bottom:.0001pt;
}
p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst,
p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle,
p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast {
margin-top:0in;
margin-right:0in;
margin-bottom:0in;
margin-left:.5in;
margin-bottom:.0001pt;
line-height:115%;
}
--></style></head>
<body dir="ltr">
<div data-externalstyle="false" dir="ltr" style="font-family: 'Calibri', 'Microsoft YaHei UI', 'Malgun Gothic', 'Segoe UI', 'Meiryo', 'Microsoft JhengHei UI', 'sans-serif';font-size:12pt;">
<div>Hi,</div><div><br></div><div>The application of the yes value in the fold_maybe/2 function was</div><div>not mentioned in the documentation.</div><div><br></div><div>library/maybe.m:</div><div> see above.</div><div><br></div><div>--<br></div><div>diff --git a/library/maybe.m b/library/maybe.m<br>index 31d951a..7dc2361 100644<br>--- a/library/maybe.m<br>+++ b/library/maybe.m<br>@@ -80,7 +80,7 @@<br> :- func map_maybe(func(T) = U, maybe(T)) = maybe(U).<br> <br> % fold_maybe(_, no, Acc) = Acc.<br>- % fold_maybe(F, yes(Value), Acc0) = F(Acc0).<br>+ % fold_maybe(F, yes(Value), Acc0) = F(Value, Acc0).<br> %<br> :- func fold_maybe(func(T, U) = U, maybe(T), U) = U.<br><br></div><div data-signatureblock="true">--<br></div>
</div>
</body>
</html>