[m-dev.] for review: add the POSIX stuff to the extras

[Fergus Henderson]

On 18-Oct-1999, Thomas Conway <conway at cs.mu.OZ.AU> wrote:
> Revised diff follows. I'll commit it now.

Great, thanks.

There's one more thing which I noticed once you added the comments:

> +	% unique(SharedText) = UniqueText
> +	% performs an unsafe uniqueness cast on `SharedText' to make
> +	% `UniqueText'. This is useful if you're storing text objects
> +	% inside other data structures, but is of course risky since
> +	% it is unchecked by the compiler. USE AT OWN RISK!
>  :- func unique(text) = text.
> -:- mode (unique(in) = uo) is det.
> +:- mode unique(in) = uo is det.

That function should be deleted.
Use `unsafe_promise_unique' in the `builtin' module instead.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------