[mercury-users] false function

[Ralph Becket]

Michael Day, Wednesday, 30 July 2003:
> 
> Hi,
> 
> Does it make sense to add a false function to std_util:
> 
> :- func false = _ is failure.

I don't like this idea: false is a proposition, not a function.

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