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

[Peter Wang]

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.

Seems ok.

Peter