[mercury-users] Converting time_t to int using common library?

[Julien Fischer]

On Tue, 13 Feb 2007, Peter Schachte wrote:

> Julien Fischer wrote:
>> On Tue, 13 Feb 2007 doug.auclair at logicaltypes.com wrote:
>>> You know that it's an int, and so do I.
>>
>> I know nothing of the sort ;-)
>>
>> Mercury's time_t is implemented as C's time_t.  According to the C standard
>> time_t and clock_t are "arithmetic types capable of representing times."
>> There is no particular requirement for time_t to be a C int, let alone that
>> it should correspond to a Mercury one.
>
> But in this case, it really doesn't matter.  All Doug needs is some entropy; he
> doesn't care about the actual value.

I didn't say that it did matter; I was just pointing out that it's not
necessarily an int.

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------