edwinb/Idris-dev — pull request #387 by Ralith (2013-07-10 21:50:32+00:00)
Title: Restored missing Int to Integer conversion codegens

Fixes #385