[r6rs-discuss] [Formal] Protocol environment

From: Michael Sperber <sperber>
Date: Wed Nov 22 09:37:50 2006

AndrevanTonder <andre_at_het.brown.edu> writes:

> On page 70, the description:
>
> (protocol <expression>)
>
> <Expression> is evaluated in the same environment
> as the define-record-type form, ...
>
> does not clarify whether the protocol can refer to the
> predicates and accessors of the same record type being defined.

I would say that it does---that was certainly the intention. The
environment that the `define-record-type' form is exactly the
environment containing the bindings for the predicates, accessors etc.
(Didn't exactly this discussion come up during the SRFI discussion?)
I'll be happy to improve the wording, but, as the wording in place is
my best shot, I'll need a concrete suggestion.

-- 
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Wed Nov 22 2006 - 09:37:40 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:00 UTC