[mercury-users] report_stats

[Robert Ernst Johann JESCHOFNIK]

On Wed, 27 Oct 1999, Fergus Henderson wrote:

> On 23-Oct-1999, Robert Ernst Johann JESCHOFNIK <rejj at cat.cs.mu.OZ.AU> wrote:
> 
> io__report_stats writes its output to stderr.
> You should be able to redirect stdout without redirecting stderr.

The library reference manual said it went to stdout.


%--------------------------------------------------%

% Memory management predicates.

        % Write memory/time usage statistics to stdout.

:- pred io__report_stats(io__state, io__state).
:- mode io__report_stats(di, uo) is det.

        % Write complete memory usage statistics to stdout,
        % including information about all procedures and types.
        % (You need to compile with memory profiling enabled.)

:- pred io__report_full_memory_stats(io__state, io__state).
:- mode io__report_full_memory_stats(di, uo) is det.





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