[mercury-users] report_stats

[Robert Ernst Johann JESCHOFNIK]

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
--------------------------------------------------------------------------