[m-rev.] for review: feature set pragmas

[Mark Brown]

On 30-Nov-2007, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>
> On Fri, 30 Nov 2007, Peter Wang wrote:
>> On a related note, maybe we need a pragma to document when a Mercury
>> program depends on a particular operational semantics, e.g. strict
>> sequential.
>
> That's probably too coarse grained given that it's usually only very
> small fragments of code that have such dependencies on the operational
> semantics.

The option for selecting the operational semantics is per-module, so it
makes sense to have any assertion about the need for this option to be
per-module as well.  Can the proposed pragma be made to work at this
granularity, for this option?

> We have discussed the addition of sequential
> conjunction/disjunction operators to Mercury for use in G12.
> I think they are probably a better solution for this.

I think there is still an argument for keeping the strict sequential
semantics option.  And if we have that option, I agree with Peter that
it would be nice to be able to assert that it is necessary (for a given
module).

Cheers,
Mark.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------