edwinb/Idris-dev — pull request #346 by Ralith (2013-06-25 08:00:37+00:00)
Title: Fix truncation of Integer in C codegen

This prevents a segfault when an Int is pretending to be an Integer.