[m-rev.] For review: the maybe_error type is now polymorphic in the type of error
novalazy at gmail.com
Wed Feb 13 17:42:02 AEDT 2013
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
> +* 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