[mercury-users] Loop Checking

[Zoltan Somogyi]

> For that, you want the `pragma minimal_model' declaration
> (which is documented in the same section as `pragma loop_check').
> However, implementing that turned out to be a bit tricker that we
> first thought; as it says in the documentation, our current
> implementation of `pragma minimal_model' is buggy and should not be used.

I would amend this slightly, and say that even though pragma minimal_model
is probably slightly buggy (I know of one bug which I am tracking down now),
you should still try it out so we can find and thus fix the other bugs :-)
Just double-check the answers, and don't depend on their correctness for
anything important yet.

In other words, I would appreciate beta testers.

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