[m-rev.] for review: Add maybe_default/2 standard library function
paul at bone.id.au
Tue Aug 2 11:24:32 AEST 2016
On Tue, Aug 02, 2016 at 09:50:01AM +1000, Julien Fischer wrote:
> Hi Paul,
> On Mon, 1 Aug 2016, Paul Bone wrote:
> >Add maybe_default/2 standard library function
> > As above.
> > Announce the new addition.
> >NEWS | 3 ++-
> >library/maybe.m | 11 +++++++++++
> >2 files changed, 13 insertions(+), 1 deletion(-)
> >diff --git a/NEWS b/NEWS
> >index a94da46..48df372 100644
> >--- a/NEWS
> >+++ b/NEWS
> >@@ -271,9 +271,10 @@ Changes to the Mercury standard library:
> >* We have a added a new type, maybe_errors, to the maybe module.
> >- The following predicate has been added to the maybe module:
> >+ The following predicate and function have been added to the maybe module:
> > - fold2_maybe/6
> >+ - maybe_default/2
> I'd be inclined to name this something like maybe_yes_or_default/2
> rather than the above.
It's now already committed. I committed it last night after Zoltan's
review. If you feel strongly about the name feel free to change it, I don't
More information about the reviews