[mercury-users] pragma memo and failure determinism

[Peter Hawkins]

On Jul 6, 2006, at 5:54 PM, Peter Schachte wrote:

> On Tue, Jul 04, 2006 at 09:37:11PM +1000, Julien Fischer wrote:
>>> I'm seeing the following error in my programs:
>>> foo.m:969: Error: `pragma memo' declaration not allowed for  
>>> procedure
>>> with
>>> foo.m:969:   determinism `failure'.
>>
>> No, it as an error and by default the compiler should treat it as  
>> such.
>
> Why is it an error?  The compiler doesn't need to do anything to
> ensure that computations of solutions are never repeated, and the
> computation is optimal.  Why not silently ignore the declaration?

Moreover a minimal_model declaration has a _declarative_ meaning  
regardless of determinism --- namely that the perfect model semantics  
should be used.

Cheers,
Peter

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------