ошибка типов

[cassno]

Здорово ребята, поглядите в чём беда...

задание:

Построить односвязный список из входной последовательности чисел и вывести ее в порядке неубывания.

Program spisok;
uses crt;
type
  pe=^elem;
  elem=record
  num:integer;
  q:pe;
end;
var
   a : array[1..10000] of elem;
   y:elem;
   first,f,p,tmp:pe;
   s,i,j,x,l,r:integer;
   n,m:integer;
   
procedure Insertsort (var head:pe;
x:integer);
var p1,p:pe;
begin
if x<head^.num then
new (p1);
p^.num:=x;
f^.num:=p;
p:=p1
else InsertSort (head^.next,x);
end.

begin
  clrscr;
  writeln('vvedite kol vo elementov');
  readln(s);
  clrscr;
  writeln('vvedite elementi');
  i:=1;
  write('a',i,'= ');
  new(first);
  readln(first^.num);
  first^.q:=nil;
  f:=first;
  for i:=2 to s do
  begin
    new(p);
    write('a',i,'= ');
    readln(p^.num);
    p^.q:=nil;
    f^.q:=p;
    f:=f^.q;
  end;
  f:=first;
  while f<>nil do

  begin
    write(f^.num:3);
    f:=f^.q;
  end;
  f:=first;
  while f^.q<>nil do
     f:=f^.q;
     tmp:=first;
  while tmp^.q <> f do
    tmp:=tmp^.q;
    tmp^.q:=nil;
    Dispose(f);
    f:=first;
  readln;
end.