idris-lang/Idris-dev — pull request #615 by Ralith (2013-11-14 03:50:50+00:00)
Title: Argument access cleanup

These changes remove the dependence of getArgs on prim__vm, making it easier to support naturally under additional code generators, and take advantage of this to fix getArgs under the LLVM codegen.