On Wed, Feb 11, 2015 at 3:24 PM, Frerich Raabe <raabe@froglogic.com> wrote:

Ah, true. The compiler would need to evaluate the program, I didn't realize that. But: what do you mean by 'if your program diverges' -- diverges from what?