From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,4f2ff548f619cc58 X-Google-Attributes: gid103376,public From: Brian Rogoff Subject: Re: End of File for streams Date: 2000/04/19 Message-ID: #1/1 X-Deja-AN: 613197706 Content-Transfer-Encoding: QUOTED-PRINTABLE References: <8df15j$e4b$1@trog.dera.gov.uk> <38FB5996.C7CCB816@maths.unine.ch> <8dg55l$us3$1@trog.dera.gov.uk> <8dh37j$qef$1@wanadoo.fr> <8djob6$75r$1@wanadoo.fr> Content-Type: TEXT/PLAIN; charset=X-UNKNOWN X-Trace: nntp1.ba.best.com 956162379 215 bpr@206.184.139.136 MIME-Version: 1.0 Newsgroups: comp.lang.ada Date: 2000-04-19T00:00:00+00:00 List-Id: On Tue, 18 Apr 2000, Jean-Pierre Rosen wrote: > Brian Rogoff a =E9crit dans le message : > Pine.BSF.4.21.0004180935170.25887-100000@shell5.ba.best.com... > >On Tue, 18 Apr 2000, Jean-Pierre Rosen wrote: > >> Exceptions are not called "errors". > > > >Refresh my memory then. What is the name of the exception which signals > >the end of a stream? :-) > But of course, errors are one kind of exceptions... Right, but my point is that the name choice "End_Error" was a very bad one= =20 because this exception is not likely an error, but simply the exceptional case of the stream being out of data.=20 In my favorite "functional" language, this case is signalled by an exception named "End_of_file" which is a better name IMO.=20 -- Brian