Почему не работает удаление для нулевого элемента списка?

procedure Delete(var L:link; i:integer);
    var k:integer;
        p, q:link;
begin
    k:=0; p:=L;
    while (p<>nil) and (k<i-1) do p:=p^.next;
    if i=0 then begin q:=L; L:=L^.next; dispose(q); end else
    if p^.next<>nil then
    begin
        q:=p^.next;
        p^.next:=q^.next;
        dispose(q);
    end;
end;

type
  link = ^node;
  node = record
    value: integer;
    next: link;
  end;
 
///Вернет следующий элемент списка.
function Next(L: link): link;
begin
  Next := L^.next;
end;
 
///Добавит элемент в конец списка.
procedure Add(var L: link; x: integer);
var
  q, p: link;
begin
  new(q);q^.value := x;q^.next := nil;
  if L = nil then L := q else
  begin
    p := L;
    while p^.next <> nil do p := p^.next;
    p^.next := q;
  end;
end;
 
///Добавит элемент в начало списка.
procedure AddFirst(var L: link; x: integer);
var
  q: link;
begin
  new(q);q^.value := x;q^.next := nil;
  if L <> nil then
  begin
    q^.next := L;
    L := q;
  end else L := q;
end;
 
///Добавит элемент после i-ого.
procedure AddAfter(var L: link; i, x: integer);
var
  k: integer;
  q, p, r: link;
begin
  k := 0;new(q);q^.value := x;q^.next := nil;
  p := L;
  if i >= 0 then
    while (p <> nil) and (k <> i) do begin p := p^.next;inc(k); end;
  if L = nil then L := q else
  if k = i then
  begin
    r := p^.next;
    p^.next := q;
    q^.next := r;
  end;
end;
 
///Удалит последний элемент списка.
procedure Delete(var L: link);
var
  q, p: link;
begin
  q := L;p := L;
  if L <> nil then
  begin
    while q^.next <> nil do q := q^.next;
    while (p^.next <> nil) and (p^.next <> q) do p := p^.next;
    if p <> q then begin q := p^.next;p^.next := nil;dispose(q) end else begin dispose(L);L := nil; end;
  end;
end;
 
///Удалит первый элемент.
procedure DeleteFirst(var L: link);
var
  q: link;
begin
  if L <> nil then
  begin
    q := L;L := L^.next;dispose(q);
  end;
end;
 
procedure DeleteElem(var L: link; i: integer);
var
  k: integer;
  p, q: link;
begin
  k := 0;p := L;
  while (p <> nil) and (k < i - 1) do p := p^.next;
  if L <> nil then
    if i = 0 then DeleteFirst(L) else
    begin
      q := p^.next;
      p^.next := p^.next^.next;
      dispose(q);
    end;
end;
 
///Находит и возвращает элемент по индексу.
function FindByIndex(L: link; i: integer): link;
var
  k: integer;
begin
  k := 0;
  while (L <> nil) and (k < i) do begin L := L^.next;inc(k); end;
  FindByIndex := L;
end;
 
///Находит элемент по значению.
function Find(L: link; x: integer): link;
begin
  while (L <> nil) and (L^.value <> x) do L := L^.next;
  Find := L;
end;
 
///Указывает существование элемента.
function Exists(L: link; x: integer): boolean;
begin
  while (L <> nil) and (L^.value <> x) do L := L^.next;
  Exists := (L <> nil) and (L^.value = x);
end;
 
///Возвращает количество элементов больше x.
function MoreThan(L: link; 
x: integer): integer;
var
  count: integer;
begin
  count := 0;
  while L <> nil do
  begin
    if L^.value > x then inc(count);
    L := L^.next;
  end;
  MoreThan := count;
end;
 
///Возвращает количество элементов меньше x.
function LessThan(L: link; 
x: integer): integer;
var
  count: integer;
begin
  count := 0;
  while L <> nil do
  begin
    if L^.value < x then inc(count);
    L := L^.next;
  end;
  LessThan := count;
end;
 
///Возвращает количество элементов равных x.
function Equal(L: link; 
x: integer): integer;
var
  count: integer;
begin
  count := 0;
  while L <> nil do
  begin
    if L^.value = x then inc(count);
    L := L^.next;
  end;
  Equal := count;
end;
 
///Печатает список.
procedure print(L: link);
begin
  write('List [');
  while L <> nil do
  begin
    if L^.next <> nil then write(L^.value, '; ') else write(L^.value);
    L := L^.next;
  end;
  write(']');
end;
 
///Печатает список и переводит курсор на новую строку.
procedure println(L: link);
begin
  write('List [');
  while L <> nil do
  begin
    if L^.next <> nil then write(L^.value, '; ') else write(L^.value);
    L := L^.next;
  end;
  writeln(']');
end;
 
var
  a: link;
 
begin
  Add(a, 2);Add(a, 7);Delete(a);Delete(a);
  Println(a);
  AddFirst(a, 78);AddFirst(a, 23);
  Println(a);
  DeleteFirst(a);DeleteFirst(a);
  Println(a);
  AddAfter(a, 0, 56);AddAfter(a, 0, 58);AddAfter(a, 0, 57);AddAfter(a, 2, 334);
  Println(a);
  if Find(a, 2) = nil then writeln('x') else writeln('gotten');
  writeln(MoreThan(a, -1));
  //DeleteFirst(a); DeleteFirst(a); DeleteFirst(a); DeleteFirst(a);
  DeleteElem(a, 0);
  println(a);
end.

procedure DeleteElem(var L: link; i: integer);
var
  k: integer;
  p, q: link;
begin
  k := 0;p := L;
  while (p <> nil) and (k < i - 1) do p := p^.next;
  if L <> nil then
    if i = 0 then DeleteFirst(L) else
    begin
      q := p^.next;
      p^.next := p^.next^.next;
      dispose(q);
    end;
end;