[mercury-users] pragma memo and failure determinism

[Peter Hawkins]

Hi...
On Jul 5, 2006, at 1:19 AM, Julien Fischer wrote:
>>
>> Well, it's not a very fatal error -- there's a very sensible error
>> recovery behaviour. It is completely harmless to ignore the tabling
>> declaration in this case. I can't leave minimal_model declarations
>> off in general, since the program won't terminate without them. And I
>> don't know where to leave them off, since I don't know any of the
>> determinisms in advance duplicating a pass of the Mercury compiler.
>
> I certainly don't support changing the behaviour where there is an
> explicit predicate or function declaration whose determinism is  
> failure.
> We could add an option, something like `--ignore-inferred-failure- 
> tabling'
> that ignores tabling pragmas on procedure whose determinism is  
> inferred to be
> failure.

Ok, don't worry about doing this. I wrote a determinism inference  
pass so my program no longer emits such predicates. However, I'm  
still getting the exception I mentioned in my previous message...

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