On Fri, Sep 9, 2022 at 4:22 PM Marc Nieper-Wißkirchen <[email protected]>
wrote:


> No, if `procedure/tag?` returns `#t`, the procedure `procedure-tag` must
> not crash.
>

But it says "It is an error if proc is not a tagged procedure".  So "it is
an error" means the behavior is undefined (which may include crashing), per
R[57]RS; in R6RS the term "it is an error" is not defined.

And your implementation of `procedure-tag` does not crash on any Chicken
> procedure, right?
>

No, the Chicken implementation is not a problem.

Reply via email to