[m-rev.] diff: fix typechecker abort

[Peter Ross]

On Sat, Feb 22, 2003 at 12:05:49PM +1100, Simon Taylor wrote:
> Index: tests/valid/id_type_bug.m
> ===================================================================
> RCS file: tests/valid/id_type_bug.m
> diff -N tests/valid/id_type_bug.m
> --- /dev/null	1 Jan 1970 00:00:00 -0000
> +++ tests/valid/id_type_bug.m	21 Feb 2003 15:12:01 -0000
> @@ -0,0 +1,28 @@
> +p(A, B) :-
> +	( q(A, X0), Z = Z ->
> +		X = X0

This should be X = X

> +	;
> +		X = 1
> +	),
> +    p(X, B).
> +
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------