Yes, it would. It would be trivial to add errno as an instance variable for File_Handle class though.

Kind of the opposite. You lose the fragility and imprecision of and non-extensibility of errno. Good riddance!