(* Title: BadStream LastEdit: "Thu Sep 13 16:04:54 1984" Author: Mick Jordan Acorn Research Centre Implements a stream class which can be used to return error status to a caller, but which can safely be 'Deleted'. *) DEFINITION MODULE BadStream; FROM Streams IMPORT Stream; EXPORT QUALIFIED CreateInOutput; PROCEDURE CreateInOutput(): Stream; (* creates a stream with 'status = StreamError' set, which will fault every operation except 'Delete'. *) END BadStream.