[mercury-users] report_stats

Robert Ernst Johann JESCHOFNIK rejj at cat.cs.mu.OZ.AU
Sat Oct 23 00:37:24 AEST 1999


Hello.

I have a little request. Would it be possible to make io__report_stats
take an optional stream to output to, like most of the other predicates in
the io library?
I have  a program that outputs formatted output to stdout (which gets
piped or redirected elsewhere), but I would still like to be able to have
a look at the stats.


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



More information about the users mailing list