[m-rev.] for review: allow preds to be trusted during decl debugging session

[Julien Fischer]

On Wed, 5 Jan 2005, Ian MacLarty wrote:

> > I think it would be better as just:
> >
> > 	If `module' is given as an argument then trust ....
> >
>
> I want to make it clear that the word "module" must be given, otherwise the
> user may think they need to name the module.
>
Fair enough.


> > > +
> > > +During the declarative debugging session the user may tell the
> > > +declarative debugger to trust the predicate or function the current question
> > > +is about or to trust all predicates and functions in the same module as the
> > > +predicate or function the current question is about.  See the @samp{trust}
> > > +command in @ref{Declarative debugging commands}.
> >
> > That would be better as two separate sentences.
> >
> > 	During the declarative debugging session the user may tell the
> > 	declarative debugger to trust the predicate or function the
> > 	current question is about.  Alternatively, the user may tell
> > 	the debugger to trust all of the predicates and functions in the
> > 	same module ...
> >
> > Also, is there a better way to express the concept, "predicate or
> > function the current question is about"?
> >
>
> During the declarative debugging session the user may tell the declarative
> debugger to trust the predicate or function in the current question.
> Alternatively the user may tell the declarative debugger to trust all
> predicates and functions in the same module as the predicate or function in the
> currect question.  See the @samp{trust} command in
> @ref{Declarative debugging commands}.
>

s/trust all predicates/trust all the predicates/


> > That's all for now.
> >
>
> Is there more coming?

No.

Cheers,
Julien.

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