[mercury-users] Error detection rate in Mercury vs Other Languages (esp C++ and Python)

[Michael Day]

Hi Julien,

> But what exactly do you mean by a "semidet switch"? Is it (1) an
> incomplete switch or (2) a switch in which one or more of the arms has
> a body that can fail or (3) both? Just sticking semidet in front of it
> seems ambiguous.

Okay, "incomplete_switch [X]" then, for consistency with the existing 
keyword. It would be shorter, and you would not have to write it as 
often in the first place. The point is to explicitly state failure and 
avoid eg. C-style silent case statement fallthrough due to missing break 
statement.

Cheers,

Michael

-- 
Print XML with Prince!
http://www.princexml.com
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------