[m-rev.] For review: the maybe_error type is now polymorphic in the type of error
paul at bone.id.au
Thu Feb 14 12:28:39 AEDT 2013
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.
More information about the reviews