[m-rev.] for review: Announce subtypes and coerce.

Julien Fischer jfischer at opturion.com
Sun Apr 4 16:36:10 AEST 2021


Hi Peter,

On Thu, 1 Apr 2021, Peter Wang wrote:

> NEWS:
>    As above.
>
> doc/reference_manual.texi:
>    Uncomment documentation for coerce.
>
> diff --git a/NEWS b/NEWS
> index 058e00662..ead462b39 100644
> --- a/NEWS
> +++ b/NEWS
> @@ -341,6 +341,9 @@ Changes to the Mercury standard library
> Changes to the Mercury language
> -------------------------------
> 
> +* The type system now supports subtypes, which work in tandem with
> +  type conversion expressions ("coerce").

I thinks this feature warrants a bit more of a description than one
sentence. In particular, the NEWS file should definitely contain an
example subtype.

(I have started reviewing the other diffs related to coerece expressions
and subtype data representation, but didn't make much progress over the
past week due to being busy with other stuff.)

Julien.


More information about the reviews mailing list