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

Michael Day mikeday at yeslogic.com
Sat Dec 3 17:58:28 AEDT 2011

Hi Julien,

> Or you can just require the switch to be complete, e.g
> require_complete_switch [X] (

Just for fun, one could argue that all switches should be det by 
default, and a short keyword should be required to introduce a semidet 
switch, eg.

     semidet [X] ( ... )

Admittedly, this might not fit well with semidet predicate heads that 
are implicitly expanded into switches, but I think it would encourage 
better coding, and fit in with Mercury's overall stubborn attitude.



Print XML with Prince!
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

More information about the users mailing list