edwinb/Idris-dev — pull request #490 by gabemc (2013-09-21 22:10:30+00:00)
Title: Removing useless bytecode instructions 'RESERVE 0' and 'ADDTOP 0'

I have vim automatically remove trailing whitespace when I save a file; that make the change much larger than necessary. I hope that's ok.

I don't think I completely understand the bytecode, however. Are there other instructions that are useless?