[m-dev.] Re: conditional compilation

[Peter Wang]

On 2010-01-05, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
> On Tue, Jan 05, 2010 at 05:41:08PM +1100, Peter Wang wrote:
> > 
> > With conditional implementation sections I could cleanly separate the
> > two completely different implementations, while providing the single
> > module interface.
> 
> An extra benefit that we can get here is that the 'disabled' sections can be
> error checked but not compiled.  This can help us verify that these sections
> are correct even when they aren't applicable to the current backend/platform.

Actually, probably not.

You could possibly tell the compiler about different grade and trace
flag combinations that you want to check, but you could already do that
by running mmc --make foo.errs with different options.  I wouldn't want
to clutter up the compiler source with it.

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