[m-dev.] for review: document pragma import & nondet pragma c_code

[Fergus Henderson]

On 05-Nov-1998, David Matthew Overton <dmo at cs.mu.OZ.AU> wrote:
> On Thu, Nov 05, 1998 at 04:33:39AM EST, Fergus Henderson wrote:
> > +
> > + at example
> > +:- pragma c_code(@var{Pred}(@var{Var1}::@var{Mode1}, @var{Var2}::@var{Mode2}, @dots{}),
> > +        @var{Attributes}, @var{LocalVars}, @var{FirstCode}, @var{RetryCode},
> > +        @var{SharedCode}).
> > + at end example
> 
> Shouldn't the above declaration show the local_vars, first_code, etc,
> functors, e.g. s/@var(LocalVars)/local_vars(@var{LocalVars})/ as in
> the function declaration below?

Yes.  Fixed.  Thanks.

> > + at noindent
> > +or
> > +
> > + at example
> > +:- pragma c_code(@var{Func}(@var{Var1}::@var{Mode1}, @var{Var2}::@var{Mode2}, @dots{}) = (@var{Var}::@var{Mode}),
> > +        @var{Attributes}, local_vars(@var{LocalVars}), first_code(@var{FirstCode}),
> > +        retry_code(@var{RetryCode}), shared_code(@var{SharedCode})).
> > + at end example
> 
> Are nondet/multi functions allowed?

The `(in, in, ...in) = out' mode is not allowed to be nondet/multi,
but other modes are.

> Also, above you have used `shared_code(...)' but in the examples you
> use `common_code(...)'.

Fixed.  Thanks.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.