[m-rev.] posix patch (stat, pipe, kill)

[Michael Day]

>   I think you should stick with the Posix names: dev_t, ino_t, uid_t,
>   etc.

I think that the _t convention used in C is not necessary here. When
people talk about these functions they talk in terms of pids and uids; The
suffix is just to satisfy the demands of the particular language.

>   This is consistent with the approach taken in library/time.m.

I think that time_t should definitely not appear in the standard library
(at least not in any future versions of the standard library) as it
assumes that the standard library is written in C, which may not be the
case. Why not just use "time"?

Also, the existing posix modules use "mode" rather than mode_t.

Michael

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------