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

[Peter Wang]

On 2007-11-30, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>  For example,
> 
>  	:- pragma require_feature_set([trailing, double_prec_float, memo]).
> 
>  asserts that the module requires trailing, double precision floats and
>  memoisation.  The compiler will emit an error message if these features
>  are not available in the current compilation grade.  This is particularly
>  helpful in cases like memoisation and parallel conjunction that are ignored
>  by default in grades that do not support them.

It would be useful for parallel conjunction benchmarks, but otherwise I
can't think of a case where a program should *require* parallel conjunctions.

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.

Peter

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