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

[Peter Ross]

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.

There is also the problem that the latest rotd is 2007-05-26 which
doesn't support this syntax.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------