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

[Peter Wang]

2009/6/16 Julien Fischer <juliensf at csse.unimelb.edu.au>:
>
> 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.

If we followed the Java conventions then they would be in the package
`au.oz.mu.cs.mercury'.  That would make for even longer identifiers
and deep directory hierarchies.

mercury.org.au is taken, but hg.org.au is shorter and available.  Quick!

I suppose that means I should go ahead and delete Mmake support for Java, which
is the only way a "mercury" directory can appear at the same level as a
"Mercury" directory.

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