[mercury-users] failure warning

[Michael Day]

Hi,

In the most recent unstable snapshot, the following code produces a 
warning:

foo(X, Y) :-
    ( if ... then
        Y = ...
    else
        false
    ).

saying that the predicate (false) always fails. However using fail instead
of false does not give a warning. Why is this? It does not seem helpful.
(I can post sample code if this behaviour is unintentional).

Thanks,

Michael
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------