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

[Zoltan Somogyi]

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.)

Zoltan.