[m-rev.] for review: add --reset-kb option to mdb dd command

[Julien Fischer]

On Fri, 8 Jun 2007, Peter Ross wrote:

> On 6/6/07, Ian MacLarty <maclarty at csse.unimelb.edu.au> wrote:
>> Index: browser/declarative_debugger.m
>> ===================================================================
>> RCS file: 
>> /home/mercury1/repository/mercury/browser/declarative_debugger.m,v
>> retrieving revision 1.73
>> diff -u -r1.73 declarative_debugger.m
>> --- browser/declarative_debugger.m      1 Dec 2006 15:03:43 -0000 
>> 1.73
>> +++ browser/declarative_debugger.m      5 Jun 2007 07:04:06 -0000
>> @@ -618,6 +618,19 @@
>>          SearchMode, Analyser0, Analyser),
>>      !:Diagnoser = !.Diagnoser ^ analyser_state := Analyser.
>> 
>> +:- pred reset_knowledge_base(
>> +    diagnoser_state(trace_node_id)::in,
>> +    diagnoser_state(trace_node_id)::out) is det.
>> +
>> +:- pragma foreign_export("C",
>> +    mdb.declarative_debugger.reset_knowledge_base(in, out),
>> +    "MR_DD_decl_reset_knowledge_base").
>> +
>> +reset_knowledge_base(!Diagnoser) :-
>> +    Oracle0 = !.Diagnoser ^ oracle_state,
>> +    reset_oracle_knowledge_base(Oracle0, Oracle),
>> +    !Diagnoser ^ oracle_state := Oracle.
>> +
> Here you use the new !A ^ x := Y syntax, so you need to add a check to
> configure to check that we support this.

I've changed this part of Ian's to use the old syntax for now.

> There is also the problem that the latest rotd is 2007-05-26 which
> doesn't support this syntax.

It's now 2007-06-07.

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