[m-rev.] for review: Add maybe_default/2 standard library function

[Paul Bone]

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
> >
> >library/maybe.m:
> >   As above.
> >
> >NEWS:
> >   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
mind.


-- 
Paul Bone
http://paul.bone.id.au