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

Julien Fischer juliensf at csse.unimelb.edu.au
Fri Oct 22 17:36:26 AEDT 2010

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.

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

More information about the reviews mailing list