|
Home
News
Information
Overview
Features
Documentation
Papers
Developers
Events
Reports
Mailing Lists
Developers
Users
Search
Download
Current Release
Snapshot
Old Releases
Related
Applications
MCORBA
Contributing Code
Contact
Search
|
Subject: Re: [mercury-users] cc_multi vs det
From: Peter Ross (peter.ross@miscrit.be)
Date: Fri Dec 01 2000 - 00:57:14 EST
On Thu, Nov 30, 2000 at 04:08:25PM +1100, Mark Anthony BROWN wrote:
>
> Because there may have been more than one potential exception, and
> the Mercury implementation may have (operationally) chosen one of
> them. In code that handles exceptions, it is possible that different
> exceptions lead to different solutions, so the Mercury implementation
> may effectively be making a choice between two different solutions in
> the higher level predicate. This is (declaratively) modelled using
> committed choice nondeterminism.
>
I understand the declarative differences between cc_multi vs det.
However I am not sure what effect these declarative differences have on
the generated code. Could someone give me an example of when the
distinction between cc_multi and det is important when the code is
generated (ie where having det instead of cc_multi leads to incorrect
code).
Thanks,
Pete
--------------------------------------------------------------------------
mercury-users mailing list
post: mercury-users@cs.mu.oz.au
administrative address: owner-mercury-users@cs.mu.oz.au
unsubscribe: Address: mercury-users-request@cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-users-request@cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
This mail archive was generated by hypermail 2b25 on Sun Dec 31 2000 - 00:40:02 EST.
|
