[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