[m-rev.] for review: module to read trace counts
Ian MacLarty
maclarty at cs.mu.OZ.AU
Wed Jan 12 14:57:30 AEDT 2005
On 12 Jan 2005, at 14:36, Ralph Becket wrote:
> Zoltan wrote:
>> On 11-Jan-2005, Peter Wang <wangp at students.cs.mu.OZ.AU> wrote:
>>> This adds a module libs__trace_counts that reads in the
>>> .mercury_trace_counts files produced by the compiler's trace
>>> mechanism. The format of said files was slightly changed.
>>>
>>> compiler/trace_counts.m:
>>> New module.
>>
>> Since the declarative debugger also needs to be able to read trace
>> counts, the new module should be in the browser directory, and part of
>> the mdbcomp package. Any parts of the compiler, e.g. the trace_port
>> type in trace_params.m, that trace_counts.m depends on should also be
>> made part of the mdbcomp package.
>
> I'm a little concerned about migrating stuff that the compiler depends
> upon into the debugger directory rather than keeping it in the compiler
> directory. Can someone explain the rationale behind this approach?
>
My understanding is so that two versions of the data structures don't
have to be maintained. Not 100% sure why mdbcomp is in the browser
directory though.
Ian.
> Ta,
> -- Ralph
> -----------------------------------------------------------------------
> ---
> 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
> -----------------------------------------------------------------------
> ---
>
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the reviews
mailing list