Stolen from Postcard. Miscellanous OS operations for Postcard. The implementation is likely to be system-specific.
INTERFACEFile system operationsOSUtils ;
EXCEPTION FileError(TEXT);
PROCEDURE Delete(path: TEXT) RAISES { FileError };
(* Deletes a file (but not a directory). File system errors are reported
by raising "FileError" with a human-sensible description of the error. *)
PROCEDURE MakeDir(path: TEXT) RAISES { FileError };
(* Creates the directory. File system errors are reported by raising
"FileError" with a human-sensible description of the error. *)
END OSUtils.