[m-dev.] for review: new ports for the declarative debugger

[Fergus Henderson]

On 14-Sep-1999, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> +++ mercury_trace_base.h	1999/09/13 06:35:09
> @@ -29,8 +29,12 @@
>  	MR_PORT_EXIT,
>  	MR_PORT_REDO,
>  	MR_PORT_FAIL,
> +	MR_PORT_COND,
>  	MR_PORT_THEN,
>  	MR_PORT_ELSE,
> +	MR_PORT_NEGENTER,
> +	MR_PORT_NEGSUCCESS,	/* negated goal failed; negation succeeds */
> +	MR_PORT_NEGFAILURE,	/* negated goal succeeded; negation fails */
>  	MR_PORT_DISJ,
>  	MR_PORT_SWITCH,
>  	MR_PORT_PRAGMA_FIRST,

I suggest s/NEG/NEG_/g

> +++ mercury_trace_internal.c	1999/09/13 07:11:45
> @@ -2183,12 +2183,28 @@
>  			port_name = "FAIL";
>  			break;
>  
> +		case MR_PORT_COND:
> +			port_name = "COND";
> +			break;
> +
>  		case MR_PORT_THEN:
>  			port_name = "THEN";
>  			break;
>  
>  		case MR_PORT_ELSE:
>  			port_name = "ELSE";
> +			break;
> +
> +		case MR_PORT_NEGENTER:
> +			port_name = "NENT";
> +			break;
> +
> +		case MR_PORT_NEGSUCCESS:
> +			port_name = "NSUC";
> +			break;
> +
> +		case MR_PORT_NEGFAILURE:
> +			port_name = "NFAI";
>  			break;

Should these ports should be documented in the debugging chapter of the
Mercury user's guide?  I think they probably should, since if the user
compilers with --decl-debug, then they will see those ports.

The names "NENT", "NSUC", and "NFAI" are horrible.

-- 
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.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------