Kostis Sagonas <kostis@REDACTED> writes:
> 1. the compiler happily compiles this program, but simply replaces
> a + 42 with a call to spit {badarith,....}
(Oops, I see you were way ahead of me already. I was too eager to
share that '42 not integer' anecdote :-))