PASCAL. Несоответствие типов

[Kamelok]

Вылетает ошибка в процедуре substitution. Я уже без понятия как избавиться от этой ошибки, Постоянна или ошибка 26 и 63 вылетает. Подскажите пожалуйста, а то я в тупике.

program REPLACEMENT ; 
{sh+} 
uses crt; 
type 
FInt = file of integer; 
var 
f_in,f_out:text; 
s:string; 
F_obr: FInt; 
f_copy:file; 
function unique_letters(s:string):string; 
var 
t,i:integer; 
begin 
for i:=1 to length(s) do {length of each word} 
s[t]:=s[length(s)]; 
s[length(s)]:=s[1]; 
s[1]:=s[t]; 
unique_letters:=s; {formation of transformered words} 
end; 
procedure enter(var f_in,f_out:text); 
begin 
writeln('Hello this program swaps 1 and the last letter in each word.'); 
writeln('You do not need to press any keys, the program will do everything itself'); 
assign(f_in,'test1.TXT'); {binding f_in variable with file TEST1.TXT} 
{si-} reset(f_in); {si+} {ON/OFF procedure for check file TEST1.TXT} 
if IOResult <>0 then {analysis mistake manipulation with file TEST1.TXT } 
begin 
writeln('Error opening of file TEST1.txt'); 
writeln('Program is finished, push ENTER'); 
readln; 
exit; 
end; 
assign(f_out,'TMP2.TXT'); {binding f_out variable with file TEST1.TXT} 
rewrite(f_out); 
writeln; 
end; 
procedure substitution(var f_in, f_out: text; var F_obr: FInt; var s: string); 
var 
p: integer; 
slovo: string; 
begin 
assign(F_obr,'test1.TXT'); 
reset(F_obr); 
while not EOF(F_obr) do {analises END of file TEST1.XT} 
begin 
{readln(F_obr, s); {reading of file variables from INPUT.txt} 
if pos('.', s) <> 0 then {analises of point} 
delete(s, pos('.', s), 1); 
while pos(' ', s) <> 0 do { Several probel’s} 
delete(s, pos(' ', s), 1); {delite several probel’s} 
repeat 
p := pos(' ', s); 
slovo := copy(s, 1, p - 1); {reading of word} 
if p <> 0 then 
begin 
write(f_out, unique_letters(slovo), ' '); 
delete(s, 1, p); 
end; 
until p = 0; 
delete(s, 1, p); 
writeln(f_out, unique_letters(s)); 
end; 
close(f_in); {protection ON for information in INPUT.TXT} 
close(F_obr); 
close(f_out); {protection ON for information in OUTPUT.TXT} 
end; 
procedure output (var f_out:text; s:string); 
begin 
{$I-} reset(f_out); {$I+} {ON/OFF procedure for check file OUTPUT.TXT} 
if IOResult <>0 then {analysis mistake manipulation with file OUTPUT.TXT } 
begin 
writeln('Error opening file TMP2.TXT'); 
writeln('Program finished, push ENTER '); 
readln; 
exit; 
end; 
while not EOF(f_out) do {analises END of file TEST1.XT} 
begin 
readln(f_out,s); {readln and writing massive in OUTPUT.TXT} 
end; 
writeln; 
writeln('The modified file was successfully saved to TMP2.TXT'); 
end; 

Procedure CopyFile(var f_copy:file); 
var 
cursor, size, part: longint; 
s: string; 
nontype:file; 
begin 
assign (nontype, 'TMP2.TXT'); 
reset (nontype, 1); 
assign (f_copy,'TMP2.TXT'); 
rewrite (f_copy, 1); 
cursor := 0; 
part := 256; 
size := filesize (nontype); 
while not eof (nontype) do begin 
blockread (nontype, s, part); 
blockwrite (f_copy, s, part); 
inc (cursor, part); 
if (cursor + part) > size then 
part := size - cursor 
end; 
Close(nontype); 
Close(f_copy); 
writeln('The file has been successfully copied to TMP2.TXT'); 
end; 
begin 
clrscr; 
enter(f_in,f_out); 
substitution(f_in,f_out,F_obr,s); 
output(f_out,s); 
CopyFile(f_copy); 
readln; 
end.

[Sciv]

Естественно, трассировкой пользоваться не умеете и сказать, в какой именно строчке процедуры вываливается ошибка - не можете? Попробуем угадать.

{readln(F_obr, s); {reading of file variables from INPUT.txt}

Если вылетает тут (без скобок комментария, естественно) - то вполне логично, Вы пытаетесь прочитать строку из файла типа integer, отсюда и несоответствие типов.

function unique_letters(s:string):string; 
var 
t,i:integer; 
begin 
for i:=1 to length(s) do {length of each word} 
s[t]:=s[length(s)]; 
s[length(s)]:=s[1]; 
s[1]:=s[t]; 
unique_letters:=s; {formation of transformered words} 
end;

тут вообще t не определена. И если я правильно понимаю, что Вы тут делаете обмен значениями - нужно все операции присваивания взять в begin ... end.