diff: interface to external opium-style debugger (round 2)

[Fergus Henderson]

On 12-Mar-1998, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
> > --- mercury_trace.c     1998/02/04 03:55:31     1.7
> > +++ mercury_trace.c     1998/03/11 21:29:21
> > @@ -61,7 +61,6 @@
> >  */
> > 
> >  typedef enum {
> > -       MR_CMD_ABORT,   /* a: abort the current execution                 */
> 
> Why ?

Sorry, I didn't explain that in the log message.

The previous code for handling aborts was buggy.
If it got an abort request, it would set the current command to be
MR_CMD_ABORT, and then return; only on the *next* call to MR_trace()
would it actually do the abort.  This is not the desired behaviour.
The fix was to get it to simply call exit() immediately, instead
of setting the current command to MR_CMD_ABORT.

After this fix, there is no need for MR_CMD_ABORT in the enum.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.