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-7-bit X-Google-Thread: 103376,47bd5b7b3b898723 X-Google-Attributes: gid103376,public From: evans@evans.pgh.pa.us (Arthur Evans Jr) Subject: Text_IO and Ada source (was: Form feed comment for pragma Page) Date: 1996/06/06 Message-ID: #1/1 X-Deja-AN: 158774326 references: <4p04vi$3ui$1@mhafn.production.compuserve.com> organization: Ada Consulting newsgroups: comp.lang.ada Date: 1996-06-06T00:00:00+00:00 List-Id: I said (among other things) > The RM in A.10(8) is quite clear that the standard does not specify > which characters, if any, correspond to logical end-of-line or > end-of-page or end-of-file. Robert Dewar (and Keith Thompson) replied > Art, you are confused, we are talking about source representation here. > YOu quoted some irrelevant paragraph about Text_IO. THe operable > statement in the standard is: 2.1(13) Absolutely right -- I missed that section. Robert goes on: > It is very important to understand that source representation has > nothing to do with type Standard.Character or with Text_IO. Sure, may > implementations may choose to represent the source in a manner that is > consistent with Text_IO as a sequence of elements of type > Standard.Character, but this is not a required representation, just > one possible choice. It's too bad in a way, though I guess inevitable, that the standards for Text_IO and source representation are not better connected. An effect is that it's not clear how to write an Ada program that emits proper Ada code -- proper in the sense that the compiler I am using will be able to read it. Indeed, the documentation of the Ada compiler I now use is silent on both of these subjects: - the exact form required for source text; and - how Text_IO treats end-of-line and such. Appendix M(6) requires that the form of source text be documented, though I see no requirement to document the details of Text_IO file format. (Curious omission...) In practice, of course, all of this is a non-issue, since in my compiler (and I expect in most compilers) both forms use the conventions for text files on the platform. It could be very much an issue if my program needed to write Ada code to be compiled on some other platform. Art