[m-rev.] diff: make some java classes serializable

[Julien Fischer]

On Thu, 7 Oct 2010, Peter Wang wrote:

> Branches: main
>
> library/bitmap.m:
> library/builtin.m:
> library/mutvar.m:
> library/version_array.m:
>        Make hand-written Java classes in these modules implement
>        `java.io.Serializable'.

Is this worth mentioning in the reference manual?

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