[mercury-users] failure warning

[Ralph Becket]

Peter Moulder, Thursday, 21 August 2003:
> In fact in the first version of the patch I did write `false' instead of
> `fail': I think it better to encourage people to think logically with
> `false' than imperatively with `fail'.  I think `false' should become a
> builtin synonymous with `fail'.

false/0 *is* defined in the builtin.m standard library module.

-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------