idris-lang/Idris-dev — pull request #643 by hannesm (2013-11-20 10:29:42+00:00)
Title: Re-enable calling terminate(vm) for its side effects

(was commented out in dce3569681698ca70edfa306e39dc94a1b1c1025)