[m-rev.] diff: gmtime_to_timestamp_2

[Peter Ross]

On Tue, Nov 04, 2003 at 05:30:05AM +1100, Fergus Henderson wrote:
> On 03-Nov-2003, Peter Ross <pro at missioncriticalit.com> wrote:
> > Estimated hours taken: 2
> > Branches: main
> > 
> > compiler/timestamp.m:
> > 	Implementation of gmtime_to_timestamp_2 in C#.
> 
> That's OK, but it would be better to just rewrite this in Mercury.
> It's just a call to string__format, isn't it?
> 
> e.g.
> 	string__format("%d-%02d-%02d %02d-%02d-%02d", ...)
> 
> or something along those lines.

Duh! You are absolutely correct will do.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------