[m-rev.] for review: fix two bugs in the management of I/O tabling

[Julien Fischer]

On Wed, 26 Sep 2007, Zoltan Somogyi wrote:

> On 26-Sep-2007, Ian MacLarty <maclarty at csse.unimelb.edu.au> wrote:
>> Can you describe what you expect the behaviour to be, given that io.read
>> is trusted?
>
> A message saying "no bug found".

Even better would be "no bug found in untrusted modules", if there
are trusted modules.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------