MODULE IPErrorPosix EXPORTS IPError; IMPORT Atom, Cerrno, IP; PROCEDURE RaiseOS (a: Atom.T) RAISES {IP.Error} = BEGIN Raise (a, Cerrno.GetErrno()); END RaiseOS; BEGIN END IPErrorPosix.