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

[Peter Ross]

On Thu, Oct 7, 2010 at 5:44 PM, Peter Wang <novalazy at gmail.com> 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'.
>
This should also go onto the 10.04 branch.

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