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

Julien Fischer juliensf at csse.unimelb.edu.au
Sat Dec 1 02:08:23 AEDT 2007


On Fri, 30 Nov 2007, Mark Brown wrote:

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

Of course, the implementation doesn't do anything other than consult
the option table and write out an error if the options that are implied
by the feature are not set appropriately.

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



More information about the reviews mailing list