edwinb/Idris-dev — pull request #241 by fmap (2013-03-17 17:50:54+00:00)
Title: A few RTS fixes. 

* Remove unused int/float stacks
* Copy command line args to heap only on demand. It should reduce amount of copying in gc as well as memory usage if we have many args.