[m-rev.] diff: fix .module_dep files

[Zoltan Somogyi]

On 23-Jul-2008, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
> So for the Feedback file format I imagine using io.write and io.read is
> okay until a type changes.  In this event we may decide to keep the old
> file format with the new internal types or not.  And because users are
> likely to be using matching versions of the tools and compiler backwards
> compatibility of the file format is not very important.

Not now, but it will be later.

> So I have not
> addressed any of these problems in the feedback file format, except that
> the header contains a version number for the file format.

Why not, given that the fix is so easy?

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