edwinb/Idris-dev — pull request #110 by LeifW (2012-11-29 06:50:44+00:00)
Title: More platform agnostic now

Cleaned up the paths, also added feof and ferror as functions (on
mingw32 they're macros that expand incorrectly in the C based backend
output.

Conflicts:
src/Pkg/Package.hs
src/Util/System.hs

A re-submission of https://github.com/edwinb/Idris-dev/pull/109 to leave out all the prior commits.