[m-rev.] for review: announce the addition of uint to the language

Peter Wang novalazy at gmail.com
Mon Jun 12 19:48:58 AEST 2017


On Sun, 11 Jun 2017 22:56:12 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
> 
> For review by anyone.
> 
> -------------------
> 
> Announce the addition of uint to the language.
> 
> NEWS:
>      List uint as one of the reserved type names.
> 
>      Announce the addition of the uint/0 type, the 'uint' standard library
>      module and various other standard library predicates using the new type.
> 
>      Announce the changes to the term and lexer module needed for supporting
>      the (upcoming) new integer types.  Mention the existence of the
>      'old_term_parser' library in the extras for cases where backwards
>      compatibility is required.
> 
> Julien.
> 

> @@ -146,6 +168,19 @@ Changes to the Mercury language:
> 
>   Changes to the Mercury standard library:
> 
> +* We have added a new module, uint, that exports basic operations on the new
> +  uint type.
> +
> +  The following predicates and functions have been made to other standard
> +  library modules in order support the uint type:

in order to

> +  - integer.to_uint/2
> +  - integer.det_to_uint/1
> +  - integer.from_uint/1
> +  - string.uint_to_string/1
> +  - io.write_uint/4, io.write_uint/5

io.write_uint/3, io.write_uint/4

That looks fine.

Peter


More information about the reviews mailing list