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

[dewar@cs.nyu.edu (Robert Dewar)]

Norman said

"But there would be a particular EBCDIC code representing the Latin-1
source-text linefeed character.  The real issue is that the
line-terminator would be implicit in the "logical record length" (LRECL).
However, it appears to follow from RM95 2.2(2) that *both* non-tab format
effectors (i.e., the EBCDIC codes representing the Latin-1 format
effectors) and the end-of-record would have to be recognized as the
end of a source line, so the net effect in cases such as a FF embedded in
a comment would be the same as on non-EBCDIC-based systems.
"

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.

For example, a perfectly legitimate representation of form feed is some
special mark in the record, or even a conventional carriage control
character (i.e. a '1', remember that?) at the start of the record.

The standard has NOTHING AT ALL to say about source representation.

FOr examle, a quite legitimate source representation is to store the
source as a tree, and indeed in one sense that is exactly what he
Rational system does.