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

Peter Wang novalazy at gmail.com
Fri Nov 30 16:14:24 AEDT 2007

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


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