On 27-08-2022 21:02, Damien Mattei wrote:
>
>>
>     I haven't read the RnRS closely, but I doubt that
>
>     (some-procedure (define foo 0) (define bar 0))
>
> ? i do not understand well the meaning

Me neither, that's what I meant.

You are proposing to unify expression context and definition context. If 
done, you would need to assign that statement above some meaning somehow.

(define foo 0) is definitely definition context, but it makes no sense 
in expression context.

Greetings,
Maxime.