[mercury-users] false function

[Ralph Becket]

Michael Day, Wednesday, 30 July 2003:
> 
> A better name, then? A value that cannot be computed? nonexistent?  
> nothing? priceless? worthless?

I understand what the function would be used for, I'm just not convinced
the situation arises frequently enough to justify adding something to
the library.

It's not much harder to write your function as

f(X) = Y :-
	     if bar(X) then Y = ...
	else if baz(Z) then Y = ...
	else                false.

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