[m-dev.] pragma stub proposal

[Peter Schachte]

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
unimplemented/1.

-- 
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
www.cs.mu.oz.au/~schachte/
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
--------------------------------------------------------------------------