[m-dev.] standard trailing library

Paul Bone pbone at csse.unimelb.edu.au
Wed Apr 9 17:43:38 AEST 2008

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

More information about the developers mailing list