local macro definitions and inline functions

[Nikodemus Siivola]

Compilation of the DEFUN QUUX causes "X is unbound" error:

    (symbol-macrolet ((x pi))
      (macrolet ((foo (y) (+ x y)))
        (declaim (inline bar))
        (defun bar (z)
          (* z (foo 4)))))

    (defun quux (z)
      (bar z))

Local macro definitions surrounding inline functions are in the lexical scope for the out of line version (correct) and null environment for the inline versions (incorrect.)

See (COERCE (CDR X) 'FUNCTION) in IR1-CONVERT-INLINE-LAMBDA.

[Nikodemus Siivola (nikodemus)]

Currently we get a compile-time *warnings* for X being unbound. Need to figure out if that is correct. My brain hurts.

[Nikodemus Siivola (nikodemus)]

See aso bug 309460.

[Nikodemus Siivola (nikodemus)]

Ignore my earlier comment: this still causes an error, and even to pointer is to the right place.

[Stas Boukarev (stassats)]

In ad792784dac16d1d4de03afa72cb4e145e6d15bf