>>592
あまり思い込み&先走りせずに、おちついて考えてみてはいかがでしょう。
あと、#repeat のときと同じで、どうしてそういう結論にいたったかを
書いてもらえるとくい違いを指摘しやすいと思います。

#valueWithExit のどちらの ^ について成り立たないと判断されたかわかりませんが、
いずれの ^ でも #valueWithExit をコールしたコンテキストに戻るので
(そしてそれは消滅していないので)問題はないと思いますが、違いますか?

7. については、文面どおり呼び出し元への戻り値が nil か aObject かの違いだけです。

5. については、具体的には SmalltalkCompiler のどのメソッドの記述から、
引数のブロッククロージャは例外なくインライン変換されると結論されたのでしょうか?