edwinb/Idris-dev — pull request #109 by chetant (2012-11-29 05:45:46+00:00)
Title: More platform agnostic and fixed some issues with feof and ferror in mingw32 (at least)

Does anyone know why *all* the commits that I merged from edwinb/Idris-dev are being added in this branch & pull request? Only the [last commit](https://github.com/chetant/Idris-dev/commit/fa76ecf5872af76bf8d93b8a81a5599c5f74fb2c) is really relevant, but I don't know how to introduce just that change.