[m-dev.] pragma loop_check and nondet

[Zoltan Somogyi]

On 02-Dec-2002, David Overton <dmo at cs.mu.OZ.AU> wrote:
> The reference manual says that `pragma loop_check' does not work with
> nondet and multi code.  Can anyone tell me if this is still the case?

Yes.

> Is it likely to be fixed any time soon?

No.

Why do you ask?

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------