Re: Text_IO and Ada source (was: Form feed comment for pragma Page)

[ncohen@watson.ibm.com (Norman H. Cohen)]

In article <dewar.834585066@schonberg>, dewar@cs.nyu.edu (Robert Dewar) writes: 
|> Norman said
|>
|> "But there would be a particular EBCDIC code representing the Latin-1
|> source-text linefeed character.
...
|> "
|>
|> What is your justification for the first sentence here. I read nothing
|> in the RM that requires or implies that the source representation of
|> any format effector is a "particular code", EBCDIC or otherwise.
...
|> The standard has NOTHING AT ALL to say about source representation.

Quite right, I was describing actual practice, not any requirement of the
standard.  (The usual practice is to exploit the operating system's
division of files into logical records and to treat each record as a
source line, but it is possible to sneak format effectors--or, more
precisely, EBCDIC characters that the implementation treats as the
representation of ISO 10646 BMP format effectors--into the middle of a
record.)

What RM95 2.2(2) requires is that, whatever mechanisms the implementation
uses to represent a format effector other than a tab, the implementation
must treat the logical occurrence of such a character as the end of a
line, i.e., such a character cannot be construed as occurring in the
MIDDLE of a comment.

--
Norman H. Cohen    ncohen@watson.ibm.com