14.5 Errorscreen Interface

ORIGIN '~beta/basiclib/betaenv';
LIB_DEF 'sysutilserrscr' '../lib';
BODY 'private/errorscreenbody';

-- LIB: attributes --
ErrorScreen: Stream
  (* Pattern corresponding to the Screen pattern of betaenv,
   * but which outputs to the standard error instead of to the
   * standard output, as Screen does
   *)
  (# Eos::< (# do true->value #);
     OtherError::< (# ... #);
     Get::< (# ... #);
     Put::< (# ... #);
     PutText::< (# ... #);
  #)