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

[Peter Schachte]

> +		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?


-- 
Peter Schachte <schachte at cs.mu.OZ.AU>  Start at the Beginning, go through
http://www.cs.mu.oz.au/~schachte/      till the End, then stop. -- Lewis
Phone:  +61 3 8344 9166                Carroll, "Alice in Wonderland" 
Fax:    +61 3 9348 1184                
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------