commandrw/src/GZipRd.m3


MODULE GZipRd;

IMPORT CommandRd, Pathname, OSError;

PROCEDURE Open (p: Pathname.T; ): T RAISES {OSError.E} =
  BEGIN
    RETURN CommandRd.Open("gunzip", ARRAY OF TEXT{"--stdout", p});
  END Open;

BEGIN
END GZipRd.