On Wed, Jul 3, 2013 at 7:38 PM, Matthew Mondor <mm_lists@pulsar-zone.net> wrote:
Hmm so in the case of "Direct references to C variables", both a and b
are assumed to have been especially declared as in the last example,
with something similar to (let ((a 0.0) (b 3.3)) (declare (type :double
a b)) ... ?

Yes. If not declared, the references may be wrong -- it is up to you to ensure the sanity of the expressions and consistency between declarations and uses in C-INLINE.

Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)