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

[Michael Day]

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.

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