[m-dev.] pragma stub proposal

Peter Schachte schachte at csse.unimelb.edu.au
Thu Aug 13 12:47:44 AEST 2009

Ian MacLarty wrote:
> On Wed, Aug 12, 2009 at 3:22 PM, Julien
> Fischer<juliensf at csse.unimelb.edu.au> wrote:
>> On Wed, 12 Aug 2009, Ian MacLarty wrote:
>>> What I would prefer is to be able to tell the compiler to create stubs
>>> for a specific set of predicates with a pragma.  For example:
>>> :- pragma stub(jdbc_get_dbms_name/6).
> You wouldn't provide the clause in the presence of this pragma.

How about allowing an optional second argument to the pragma to specify the
error message?  So you could distinguish between "Not yet implemented" and
"Not available in this grade."  Or, if those are the only two reasons you can
think of for stubs, just provide two different pagmas, like unavailable/1 and

Peter Schachte              An imbalance between rich and poor is the oldest
University of Melbourne     and most fatal ailment of all republics.
schachte at unimelb.edu.au         -- Plato
Phone: +61 3 8344 1338
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

More information about the developers mailing list