[m-dev.] standard trailing library

[Julien Fischer]

Hi,

We have a bunch of trailed data structures and trail-related stuff in the 
G12utility library at the moment that I would like to make part of
the Mercury distribution.  Here are a couple of possible ways of
integrating this stuff:

(1) add it to the standard library and make all the operations
     throw an exception or abort in non-trailing grades.

(2) add a standard trailing library, e.g. std_tr, which is only
     compiled and installed in trailing grades.

Note: I don't want this as part the extras distribution, it needs
to be at a similar level to the standard library.

What are people's preferences?  (Mine is for 2).

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------