Re: Simple Stream_IO question

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

John provides the following incorrect program:

with Ada.Streams.Stream_IO; use Ada.Streams.Stream_IO;

procedure Foo is

   F : Float;
   I : Integer;

   File : File_Type;

begin

   Open(File, In_File, "foo.adb");

   Float'Read(File, F);
   Integer'Read(File, I);

   Close(File);

end Foo;

You have to pay attention to types in Ada, the Read attribute has the 
profile

6   S'Read
                S'Read denotes a procedure with the following specification:

7                   procedure S'Read(
                       Stream : access Ada.Streams.Root_Stream_Type'Class;
                       Item : out T)


But your first argument is of type Streams.Stream_IO.File_Type which is
completely wrong. 

You ned to use Streams.Stream_IO.Stream!