Comment by timow1337

If loops are implemented as tail calls, doesn't the call opcode get optimized away thus preventing the reduction checker from being run?