[m-rev.] diff: java io.file_type fix

[Julien Fischer]

On Fri, 22 Oct 2010, Peter Wang wrote:

> Branches: main, 10.04
>
> library/io.m:
>        Make Java implementation of `io.file_type' not return `ok(unknown)'
>        for non-existent paths.

Merged onto the 10.04 branch.  I intend to release 10.04.3 at the start
of November.

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