[R6RS] Safe/unsafe mode

[dyb at cs.indiana.edu]

> The way I understand Kent's semantics, the first piece of code
> essentially gets translated into:
>
> (let ((f -/safe))
>   (declare unsafe)
>   (call/unsafe f '(a)))
>
> (Kent, could you confirm or deny?  I'm sure your explanation actually
> answers these questions, but I keep getting lost in the long chain of
> replies.)

Yes, this is correct.

Kent