[m-rev.] diff: fix typechecker abort

[Simon Taylor]

On 22-Feb-2003, Peter Ross <pro at missioncriticalit.com> wrote:
> 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

The test case I posted triggers the typechecking bug but doesn't
produce mode errors later.

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