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

[Zoltan Somogyi]

Julien wrote:
> 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.

There are variations on the name that could be just as meaningful.

On 16-Jun-2009, Peter Wang <novalazy at gmail.com> wrote:
> 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.

If the evolution of email addresses is anything to go by, it would be
au.edu.unimelb.mercury.

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

hg is the abbreviation used by the Mercurial configuration management system.
Is that built in Australia?

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

I think that would be throwing the baby out with the bathwater.

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