Issue ALLOW-LOCAL-INLINE (Version 1)

[Eric Benson <eb@lucid.com>]

   Date: Sat, 24 Sep 88 20:17 EDT
   From: Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>

   In the Symbolics implementation, at least, you can achieve most
   of the ALLOW-INLINE effect by doing:

    (PROCLAIM '(INLINE FOO))
    (DEFUN FOO (X) (+ X 7))
    (PROCLAIM '(NOTINLINE FOO))
    (DEFUN BAR (X) (DECLARE (INLINE FOO)) (FOO X))
    (DEFUN BAZ (X) (FOO X))

This is also true in Lucid's implementation.