[m-dev.] standard trailing library

[Ralph Becket]

Julien Fischer, Wednesday,  9 April 2008:
> 
> 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).

Either works for me, but moving it into the Mercury distribution is a
good idea.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------