[m-rev.] trivial diff: workaround cygwin C compiler bug

[Fergus Henderson]

On 29-Jan-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> The C standard guarantees that "Two pointers compare equal if and only if
> both are null pointers, both are pointers to the same object (...)
> or function, [... or some cases involving arrays ...]".
> This means that pointers to the same function don't compare equal,
> even if the functions happen to do the same thing.

Sorry, I meant to say "pointers to *different* functions don't compare equal,
even if the functions happen to do the same thing."

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------