[m-dev.] for review: fix a bug in debugger_interface.m:

[Fergus Henderson]

On 16-Jul-1998, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
> Again, if someone is happy with this, please commit it.
> 
> 
> Note: I am not sure it the rigth change to fix that bug, but it fixes
> it.
> 
> library/debugger_interface.m:
> 	reorder 'disj' and 'switch' in the trace_port_type type
> 	declaration to fix the following bug: the Mercury process was
> 	sending 'disj' at switch ports and vice versa.
> 	Add the new ports 'nondet_pragma_first' and 'nondet_pragma_later'.

I'm happy with this change, and the next one, and will commit them
both soon.

One thing: I will add a comment in debugger_interface.m to try to
ensure that this bug does not re-occur.

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