[m-rev.] for review: include count of call sequence numbers in Deep.data

[Julien Fischer]

On Thu, 5 Oct 2006, Zoltan Somogyi wrote:

> Include the count of call sequence numbers in the Deep.data file, since the
> deep profiler needs to know this to generate percentages.
>
> runtime/mercury_deep_profiling.c:
> 	Write the count of call sequence numbers to the Deep.data file.
>
> deep_profiler/profile.m:
> 	Add a field to the profile for holding the count of call sequence
> 	numbers.
>
> deep_profiler/read_profile.m:
> 	Read in the count of call sequence numbers from the Deep.data file.
>
> deep_profiler/io_combinator.m:
> 	Add some functions now required by read_profile.m.
>
> 	Convert from DCGs to state variables.
>
> deep_profiler/canonical.m:
> deep_profiler/dump.m:
> 	Conform to the change to profile.m.

That looks fine.

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