Right.
Ada_File is defined as a private type; you'd need to add an operation
to package File_System to make this possible.
Actually, there are other ways in Ada to do this, but
we've not discussed them and they're all more complicated.
You may also:
Go back to the question
Go up to the outline of lesson 7
David A. Wheeler (wheeler@ida.org)