[m-dev.] for review: the new debugger command set

[Erwan Jahier]

Zoltan Somogyi wrote:

> >> + at item nondet procedures
> >> +a call event, zero or more repeats of (exit event, redo event), and a fail event
> >> + at item multi procedures
> >> +a call event, one or more repeats of (exit event, redo event), and a fail event
> >
> > For multi procedures I would say:
> > a call event, zero or more repeats of (exit event, redo event), and a
> > exit event
> 
> That would not be correct. If a multi procedure gets a redo event after
> it has produced its last solution, it *will* fail.

Well indeed, it is what the current tracer outputs ! (if we forget the
redo port)
This rather strange to see a multi proc failing since it is supposed not
to fail. Isn't that a bug in the tracer ?

-- 
R1.