[m-rev.] for review: rename long class names in java

[Julien Fischer]

On Wed, 22 Jul 2009, Peter Wang wrote:

> Branches: main
>
> compiler/mlds_to_java.m:
>        Add an extra pass to rename class names which are too long.  Each class
>        results in a separate `.class' file, so a long class name may exceed
>        filesystem limits.  This supercedes a previous workaround which
>        shortened the names of AddrOf wrapper classes.  The problem occurs more
>        generally.
>
>        Change the access on AddrOf wrapper classes to `private'.

That looks ok.

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