Mengganti operator khusus menggunakan MACROLET?

Saya mencoba mengganti IF secara lokal (tujuannya adalah untuk menyematkan DSL).

Perilakunya benar-benar membuatku bingung. Di SBCL:

(macrolet ((if (x) x)) 
  (if 'x)) ; => X

(macrolet ((if (x) x)) 
  (let ((x 2)) 
    (if 'x))) ; => Execution of a form compiled with errors.

(let ((x 2)) 
  (macrolet ((if (x) x)) 
    (if 'x))) ; => Execution of a form compiled with errors.

Adakah yang tahu mengapa ia berperilaku seperti itu?

Saya juga mencoba menggunakan simbol yang diinternir xxx::if tetapi tidak berhasil, SBCL masih menganggapnya sebagai operator khusus apa pun paketnya.

Apakah ada cara untuk mengganti operator khusus secara lokal dengan benar? Atau setidaknya secara harfiah menimpa, yang berarti seseorang dapat mengetikkan if dan itu akan diperluas (menggunakan sihir pembaca mungkin membantu tetapi saya tidak begitu paham dengan itu).

Pembaruan (Terpecahkan): Pesan kesalahan persis untuk tanggal 2 yang saya terima

Execution of a form compiled with errors.
Form:
  (MACROLET ((IF (X)
             X))
  (IF 'X))
Compile-time error:
  Lock on package COMMON-LISP violated when binding IF as a local macro while in
package COMMON-LISP-USER.
See also:
  The SBCL Manual, Node "Package Locks"
  The ANSI Standard, Section 11.1.2.1.2
   [Condition of type SB-INT:COMPILED-PROGRAM-ERROR]

Yang ke 3 serupa.

Ternyata menggunakan xxx::if membuatnya berfungsi. Saya hanya tidak membayangi simbol dengan benar pada percobaan sebelumnya.

Cara sederhana untuk membuatnya berfungsi:

(defpackage p)
(macrolet ((p::if (x) x)) 
  (let ((x 2)) 
    (p::if 'x))) ; => X

Jika Anda ingin mewarisi operator CL biasa lainnya di P maka lakukan saja (defpackage p (:use :cl) (:shadow if)).