[m-rev.] For review: the maybe_error type is now polymorphic in the type of error

[Paul Bone]

On Wed, Feb 13, 2013 at 05:42:02PM +1100, Peter Wang wrote:
> On Wed, 13 Feb 2013 15:37:08 +1100, Paul Bone <paul at bone.id.au> wrote:
> > diff --git a/NEWS b/NEWS
> > index 7d6114c..39b4139 100644
> > --- a/NEWS
> > +++ b/NEWS
> > @@ -48,6 +48,9 @@ Changes to the Mercury standard library:
> >    list.all_true_corresponding/3, list.all_false_corresponding/3 and
> >    list.same_length3/3.
> >  
> > +* The maybe_error type in the maybe module is now also polymorphic in type
> > +  of the error it can represent.
> 
> * We have added the type maybe.maybe_error/2 which is also polymorphic in
>   the type of the error.

Thanks, committed.


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