[m-dev.] proposal: add uuid module to the standard library

[Julien Fischer]

On Sat, 31 Oct 2020, Zoltan Somogyi wrote:

> 2020-10-31 16:47 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>> Hi all,
>>
>> Some time ago I wrote a library for handling UUIDs in Mercury.
>> Initially, it was just a wrapper around libuuid, java.util.UUID etc.  I
>> have recently added a Mercury implementation of UUIDs to it, removing
>> the need for any external libraries.  I think it would be worth adding
>> this to the standard library.  Any objections?
>
> No objection from me, but I would ask for an expansion of the comment
> on the uuid type, to say what the role of each group of octets is, and to say
> what the difference with Java is, and why it exists. (The three lines at the top
> of the Java foreign_code did not answer that question for me.)

Shall do -- I'll post it all for a proper review with the diff that adds
it to the stdlib.

Julien.