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

[Peter Ross]

On 6/8/07, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>
> 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 were other locations as well, so I've left my configure script changes in.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------