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

[Michael Day]

Hi Julien,

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

Now that I think about it, "partial_switch [X]" is shorter and sounds 
less harsh than incomplete. It could also be abbreviated to just 
"partial [X]" which flows a lot better, and the fact that it immediately 
precedes a switch should make it obvious enough.

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