Чтение записей из типизированного файла

type
info=record
fio:string[7]; //Фамилия, Имя, Отчество
number:integer; //Номер читательского билета
amount:integer; //Количество книг на руках
warn:integer; //Количество нарушений
end;
var
users:file of info;
i:1..3;
name:string[12];
work:array[1..3] of info;
Procedure Name_File;
begin
write('Введите имя файла данных ');
Readln(name);
End;
Procedure OutputRec;
Begin
Read(users,work[i]);
with work[i] do
begin
write('Запись №',FilePos(users),';');
Writeln('Ф.И.О: ',fio);
Writeln('Номер читательского билета: ',number);
Writeln('Количество книг на руках: ',amount);
Writeln('Количество нарушений при использовании библиотеки: ',warn);
end;
end;
procedure OutputAllRec;
begin
Name_File;
Assign(users,name);
{$I-}
Reset(users);
{$I+}
if IOResult=0 then
begin
writeln('Вывод базы данных из файла ',name);
 for i :=1 to 3 do
   if (not Eof(users)) then
     OutputRec;
End
Else
Writeln('Файла с именем '+name+' на диске нет');
end;
{Procedure shell(n:integer);
var
incr,j:integer;
x:info;
begin
  incr := n div 2;
  while incr > 0 do 
  begin
    for i := incr + 1 to n do
    begin
      j := i - incr;
      while j > 0 do
        if (work[j].amount>work[j+incr].amount) then
        begin
x:=work[j];
work[j]:=work[j+incr];
work[j+incr]:=x;
          j := j - incr;
        end
        else
          j := 0;
    end;
    incr := incr div 2;
  end;
end;}
begin
OutputAllRec();
//shell(15);
writeln('Применение обратной сортировки по количеству книг');
  writeln('*---------------------------------------------------*-----------------*--------*---------*');
  writeln('|                  ФИО                              |      Билет      |  Книги |Нарушения|');
  writeln('*---------------------------------------------------*-----------------*--------*---------*');
for i:=3 downto 1 do
 // writeln('|', work[i].fio:51,'|',work[i].number:17,'|', work[i].amount:8, '|', work[i].warn:9, '|');
  writeln('*---------------------------------------------------*-----------------*--------*---------*');
end.

{ ... }
var
  i: Integer;
  t: Info;
  f: file of Info;
begin
  Assign(input,'info.txt'); Reset (input);
  Assign(f,'info.dat'); Rewrite(f);
  for i:=1 to 3 do with t do begin
    ReadLn(fio); ReadLn(number,amount,warn); ReadLn;
    Write(f,t);
  end;
  Close(f); Close(input);
end.