[m-rev.] trivial diff: delete java mercury directories

[Julien Fischer]

On Tue, 16 Jun 2009, Zoltan Somogyi wrote:

> On 13-Jun-2009, Peter Wang <novalazy at gmail.com> wrote:
>> Also, on a case-insensitive filesystem, the `mercury' directory might be
>> confused with the `Mercury' directory.  If we force mmc --make when
>> installing the java grade, as for the erlang grade, then `mercury' will
>> always appear somewhere under `Mercury'.
>
> Given case-insensitive filesystems, whatever part of the compiler uses
> directories named "mercury" should be changed to use some other name.
> Any other solution is asking for trouble.

The compiler places Mercury generated Java classes in a package named
`mercury' - they have to be put in a directory named `mercury' for this
to work.  We could choose another name, but in this case mercury is
really the obvious candidate.

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