[m-rev.] for review: redefine io.state and store.store types

[Julien Fischer]

On Tue, 17 Aug 2010, Peter Wang wrote:

> Branches: main, 10.04
>
> Redefine `io.state' and `store.store(S)' as foreign types.  Previously they
> were defined as d.u. types, but since they are treated as dummy types by the
> compiler, attempts to deconstruct values of those types (e.g. for printing
> in ssdebug) could crash the program.

The d.u. definitions predate the addition of foreign type pragmas to the
language.

> library/io.m:
> library/store.m:
>        As above.

That looks fine - you will need to check carefully that there aren't
things in the {compiler,debugger,deep profiler} that rely upon the old
representation though.

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