[x] ABCL—~impossible, it's all LispObject~ possible via ftype declarations.
[x] Allegro—ftype too (huh, that's an easy technique, might be possible to propagate to all the implementations that don't expose real compiled types :thinking:)
[ ] CLASP
[ ] CLISP
[ ] Lispworks
[ ] Corman
[ ] MKCL
[x] Funcallable instance
[ ] Macro functions
[ ] SBCL lists the right arglist for macros, but CCL, ECL, ABCL etc. list something like (#:WHOLE-182692 #:ENVIRONMENT-182693), which is macro function arglist, not macro arglist.
sys::augmentable-environment
#<Closure DEFSTRUCT-ACCESSOR @ #x10000237d42>
LispObject
~ possible via ftype declarations.(#:WHOLE-182692 #:ENVIRONMENT-182693)
, which is macro function arglist, not macro arglist.