[m-dev.] standard trailing library

[Paul Bone]

On Wed, Apr 09, 2008 at 04:47:21PM +1000, Julien Fischer wrote:
> 
> 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).
> 

I prefer 2.

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