idris-lang/Idris-dev — pull request #839 by david-christiansen (2014-02-03 09:05:55+00:00)
Title: Better emulation of C in executor wrt file handles

Now, we return a null pointer on failure to open a file, and we allow
isNull to check handles as well as pointers. For handles, it returns true.