janek' (1) [Avatar] Offline
On page 49 there is proposed proof that failingFn is not RT.

The proof involves two steps,

1. Delete this line,

val y: Int = throw new Exception("fail!")

2. Modify this expression: x + y to be,

x + ((throw new Exception("fail!")): Int)

I need more convincing because the definition of RT on page 10 does not allow the removal of occurrences of an expression.