[m-rev.] diff: partial implementation of c_times on win32

[Peter Ross]

On Wed, Oct 8, 2008 at 4:05 PM, Peter Wang <novalazy at gmail.com> wrote:
> On 2008-10-08, Peter Ross <pro at missioncriticalit.com> wrote:
>> @@ -329,6 +331,16 @@
>>          Result = Ret
>>      ).
>>
>> +:- pragma foreign_decl(c, "
>> +#ifdef _WIN32
>> +    #include <windows.h>
>> +    typedef union
>> +    {
>> +        FILETIME ft;
>> +        __int64 i64;
>> +    } timeKernel;
>> +#endif
>> +").
>
> It would be better to make this decl local to the module:
>
>    :- pragma foreign_decl("C", local, "...").
>
> Then mark the following foreign_proc as `may_not_duplicate'.
>
Done.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------