[m-rev.] diff: configure tests for different bodies for different modes

[Peter Ross]

On Fri, Jun 01, 2001 at 11:48:31PM +1000, Peter Schachte wrote:
> > +		foo(X::in) :-
> > +			X = 42.
> > +		foo(X::out) :-
> > +			X = 42.
> 
> Those bodies look strikingly similar to me.
> 
> Mightn't this be a better test if the clauses really did have different
> bodies?  This just checks that the compiler doesn't choke on the mode
> annotation in the clause head.  Or maybe that's close enough?
> 
That is all it needs to do.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------