(defpackage :fwoar.generic-fun-special-decl
  (:use :cl )
  (:export ))
(in-package :fwoar.generic-fun-special-decl)

(defgeneric foo (arg))
(let (*arg*)
  (declare (special *arg*))
  (defmethod foo :around (*arg*)
             (declare (special *arg*))
             (format t "~&*ARG* in :around: ~s~%" *arg*)
             (call-next-method))
  (defmethod foo :before (arg)
             (declare (ignore arg))
             (format t "~&*ARG* in :before: ~s~%" *arg*))
  (defmethod foo :after (arg)
             (declare (ignore arg))
             (format t "~&*ARG* in :after: ~s~%" *arg*))
  (defmethod foo ((arg string))
    (format t "~&*ARG* in method for string: ~s~%" *arg*)
    (let ((*arg* (parse-integer *arg*)))
      (declare (special *arg*))
      (format t "~&*ARG* in method for string, after rebinding: ~s~%" *arg*)
      (call-next-method)))
  (defmethod foo (arg)
    (declare (ignore arg))
    (format t "~&*ARG* in method for t: ~s~%" *arg*)))


#|
FWOAR.GENERIC-FUN-SPECIAL-DECL> (foo "4")
*ARG* in :around: "4"
*ARG* in :before: "4"
*ARG* in method for string: "4"
*ARG* in method for string, after rebinding: 4
*ARG* in method for t: 4
*ARG* in :after: "4"
|#

;; in: DEFMETHOD FOO :AROUND (T)
;;     (DEFMETHOD FWOAR.GENERIC-FUN-SPECIAL-DECL::FOO :AROUND
;;                (FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG*)
;;       (DECLARE (SPECIAL FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG*))
;;       (FORMAT T "~&*ARG* in :around: ~s~%" FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG*)
;;       (CALL-NEXT-METHOD))
;; --> PROGN EVAL-WHEN SB-PCL::%DEFMETHOD-EXPANDER 
;; --> SB-PCL::LOAD-DEFMETHOD LIST* LET* SB-INT:NAMED-LAMBDA FUNCTION 
;; --> SYMBOL-MACROLET SB-PCL::FAST-LEXICAL-METHOD-FUNCTIONS 
;; --> SB-PCL::BIND-FAST-LEXICAL-METHOD-FUNCTIONS FLET CALL-NEXT-METHOD 
;; --> BLOCK SB-PCL::FAST-CALL-NEXT-METHOD-BODY IF IF SB-PCL::BIND-ARGS 
;; ==>
;;   (LET* ((SB-PCL::.ARGS-TAIL. SB-PCL::CNM-ARGS)
;;          (FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG* (POP SB-PCL::.ARGS-TAIL.))
;;          (SB-PCL::.DUMMY0.))
;;     (DECLARE (IGNORABLE SB-PCL::.ARGS-TAIL. SB-PCL::.DUMMY0.))
;;     (SB-PCL::INVOKE-NARROW-EFFECTIVE-METHOD-FUNCTION SB-PCL::.NEXT-METHOD-CALL.
;;                                                      NIL :REQUIRED-ARGS
;;                                                      (FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG*)
;;                                                      :REST-ARG NIL))
;; 
;; caught STYLE-WARNING:
;;   using the lexical binding of the symbol (FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG*), not the
;;   dynamic binding, even though the name follows
;;   the usual naming convention (names like *FOO*) for special variables

;; in: DEFMETHOD FOO :AROUND (T)
;;     (DEFMETHOD FWOAR.GENERIC-FUN-SPECIAL-DECL::FOO :AROUND
;;                (FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG*)
;;       (DECLARE (SPECIAL FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG*))
;;       (FORMAT T "~&*ARG* in :around: ~s~%" FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG*)
;;       (CALL-NEXT-METHOD))
;; --> PROGN EVAL-WHEN SB-PCL::%DEFMETHOD-EXPANDER 
;; --> SB-PCL::LOAD-DEFMETHOD LIST* LET* SB-INT:NAMED-LAMBDA FUNCTION 
;; --> SYMBOL-MACROLET SB-PCL::FAST-LEXICAL-METHOD-FUNCTIONS 
;; --> SB-PCL::BIND-FAST-LEXICAL-METHOD-FUNCTIONS FLET CALL-NEXT-METHOD 
;; --> BLOCK SB-PCL::FAST-CALL-NEXT-METHOD-BODY IF IF SB-PCL::BIND-ARGS 
;; ==>
;;   (LET* ((SB-PCL::.ARGS-TAIL. SB-PCL::CNM-ARGS)
;;          (FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG* (POP SB-PCL::.ARGS-TAIL.))
;;          (SB-PCL::.DUMMY0.))
;;     (DECLARE (IGNORABLE SB-PCL::.ARGS-TAIL. SB-PCL::.DUMMY0.))
;;     (SB-PCL::INVOKE-NARROW-EFFECTIVE-METHOD-FUNCTION SB-PCL::.NEXT-METHOD-CALL.
;;                                                      NIL :REQUIRED-ARGS
;;                                                      (FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG*)
;;                                                      :REST-ARG NIL))
;; 
;; caught STYLE-WARNING:
;;   using the lexical binding of the symbol (FWOAR.GENERIC-FUN-SPECIAL-DECL::*ARG*), not the
;;   dynamic binding, even though the name follows
;;   the usual naming convention (names like *FOO*) for special variables
;; 
;; compilation unit finished
;;   caught 2 STYLE-WARNING conditions