[R6RS] Safe/unsafe mode

[Michael Sperber]

William D Clinger <will at ccs.neu.edu> writes:

> I would say that all bets are off.  That may surprise
> you, but consider how the MLton compiler represents
> higher order procedures, and consider how that might
> interact with even your preferred semantics.

Could we please get a bit more detail with remarks like this?  One of
the problems trying to understand all this for amateurs like myself is
that you're both great experts on optimizing compilers, which I'm not,
and a lot of the discussion between you two seems to be based on
implicit assumptions.  (Or maybe not.  It's hard to tell.)

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla