> I don't see a way to get meta-data about a procedure other than
> calling it. But this may be disastrous if an unknown procedure is
> called.
That's one of my concern. And I would like to raise an error if spec
(the SRFI) says "it is an error" however if there's no way to detect
so that's also impossible.

> For compatibility with SRFI-9 and R7RS-small, it has to return #t.
Ok, as I expected (and made my life harder).

> Do you have a use case in mind where it is crucial to hide
> these things from the user?
One of my thing is integration to R6RS (or even underlying object
system). As long as I can get the meta-data, then it is possible
to implement this SRFI on top of the existing object system (at
least on Sagittarius). To me, it's convenient if somewhat
meta-data object is defined (it doesn't have to be specified what
to have, like syntax object defined on R6RS).

Cheers,

--
_/_/
Takashi Kato
E-mail: ktakashi19@gmail.com