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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!ucbrenoir!hilfingr
From: hilfingr@UCBRENOIR (Paul Hilfinger)
Newsgroups: net.lang.ada
Subject: Re: text_io considered error prone?
Message-ID: <8509120610.AA05406@ucbrenoir.ARPA>
Date: Thu, 12-Sep-85 02:10:47 EDT
Article-I.D.: ucbrenoi.8509120610.AA05406
Posted: Thu Sep 12 02:10:47 1985
Date-Received: Fri, 13-Sep-85 03:26:15 EDT
Sender: daemon@ucbvax.ARPA
Organization: The ARPA Internet
List-Id: <comp.lang.ada>


>    I think that what [14.3(7)] means is that the effect on the output
>    device is not defined. For instance some control character may
>    make the output device go into graphics mode, and that would not
>    be a violation of the Ada specs.... It does NOT follow from that
>    that Ada is unable to copy a file containing such characters.

I'm afraid not.  The powers that be interpret the final sentence of 14.3(7),

   "The effect of input or output of control characters (other
    than horizontal tabulation) is not defined by the language."

to mean that, for example, outputing ASCII.NUL via TEXT_IO can result in a
file that ends at the NUL, or can output an 'A' instead, or....

Paul Hilfinger