[m-dev.] for review: C interface documentation

[Peter Schachte]

Hi Fergus,

This looks good.  Only one comment:

> +Note that procedures implemented in C must still be ``pure'',
> +unless declared otherwise (@pxref{Impurity}), and they must
> +be type-correct and mode-correct.  (Determinism-correctness
> +is also required, but it follows from the rules already stated
> +above.)  They may perform destructive update on their
> +arguments only if those arguments have an appropriate
> +unique mode declaration.

Or if the changes preserves equality, as specified by the user-defined
equality predicate of the modified terms.


-Peter Schachte			| Opportunities multiply as they are seized.
pets at cs.mu.OZ.AU		| -- Sun Tzu 
http://www.cs.mu.oz.au/~pets/	| 
PGP key available on request	|