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.