-
Ross Paterson authored
Make Hugs use all of System.IO.Error. Also renamed the ioe_descr field of IOException (not part of the public interface) to ioe_description, matching Hugs.
baf09e29
Make Hugs use all of System.IO.Error. Also renamed the ioe_descr field of IOException (not part of the public interface) to ioe_description, matching Hugs.