Список целых чисел

unit Ulist; // модуль со основными процедурами и вспомогательными функциями
interface
uses SysUtils;
type
  EListEmpty = class(Exception)
  end;
  PNode = ^Node;  //Указатель на узел списка.
    List  = PNode;  //Список узлов.
    T = integer;    //Тип элементов списка.
    Node = record   //Узел списка.
        key: T;       //Элемента списка.
        next: PNode;  //Указатель на следующий узел списка (служебное //поле).
    end;
procedure AddR(i: T);
//Операция ДобавитьСправа. Добавляет в список L элемент а справа.
procedure AddL(i: T);
//Операция ДобавитьСлева. Добавляет в список L элемент a слева.
function H(var L: List): T;
//Операция Голова. Удаляет из списка голову и возвращает её значение. 
function H_(var L: List): T;
//Операция ГоловаСправа. Удаляет из списка голову справа и возвращает её значение.
function Tail(var L: List): List;
//Операция Хвост. Выделяет из списка L хвост и возвращает указатель на него.
function Tail_(var L: List): List;
//Операция ХвостСправа. Выделяет из списка L хвост справа и возвращает указатель на него.
procedure Empty(L: List);
//Операция Опустошить. Опустошает список.
procedure Merge(var L,T: List);
//Операция Соединить. К списку L добавляет список N справа.
function Number(L: List):Cardinal;
//Операция Элементов. Возвращает количество элементов в списке.
procedure DeleteList(L: List);
var
Ls: List;
implementation
{----Вспомогательные операции--------------------------------}
//-----------------------------------------------------------------------------
function Next(a: PNode):PNode;
//Возвращает указатель на узел списка, следующий
//за узлом с адресом а.
begin
    if a = nil then begin Result:= nil; exit end
    else Result:= a^.next;
end;
function Last(L: List):PNode;
//Возвращает указатель на последний узел списка.
begin
    Result:= L;
    if L = nil then exit //список пуст
        else while Result^.next <> nil do
                    Result:= Next(Result);
end;
function PredLast(L: List; var p: PNode):PNode;
//Возвращает указатель на последний узел списка и предпоследний через p.
begin
 Result:= L;p:= L;
   if L = nil then exit;//В списке нет элементов.
   if L^.next = nil then exit//В списке один элементов.
   else  while Result^.next <> nil do//В списке два и более элементов.
     begin
       p:= Result;
   Result:= Next(Result)
 end;
end;
//-------------------------------
//Основные процедуры
//-------------------------------
procedure Empty(L: List);
//Операция Опустошить. Опустошает список.
  var p: List;
    begin
      p := nil;
      while L <> nil do
        begin
          p := L;
          L := L^.next;
          dispose(p);
        end;
    end;
procedure AddL(i: T);
//Операция ДобавитьСлева. Добавляет в список L элемент a слева.
var pA, pB, pC:pNode;
begin
  pA:=Ls;
   pB:=nil;
 pC:=nil;
  new(pB);
  pB^.key:=i;
  pB^.next:=nil;
  if pA<>nil then pB^.next:=pA;
  Ls:=pB;
end;
procedure AddR(i: T);
//Операция ДобавитьСправа. Добавляет в список L элемент а справа.
var pA, pB, pC:pNode;
begin
pA:=Ls;
pB:=nil;
pC:=nil;
while pA<>nil do
begin
pB:=pA;
pA:=pA^.next;
end;
new(pC);
if pB<>nil then pB^.next:=pC else Ls:=pC;
pC^.key:=i;//i параметр процедуры
pC^.next:=nil;
end;
function Number(L: List): Cardinal;
//Операция Элементов. Подсчитывает и возвращает количество элементов в cписке.
begin
Result:= 0;
while L <> nil do begin
    L:= Next(L);
    inc(Result);
end;
end;
function H(var L: List): T;
//Операция Голова. Удаляет из списка голову и возвращает её значение. 
  var p: PNode;
    begin
      if L = nil then
        begin
          raise EListEmpty.Create('Список пуст!');
          exit
        end;
      Result := L^.key;
      New(p);
      p := L;
      L := L^.next;
      dispose(p);
      if Number(L) = 0 then L := nil;
    end;
function H_(var L: List): T;
//Операция ГоловаСправа. Удаляет из списка голову справа и возвращает её значение. 
var pred,lst: PNode; //Указатели на предпоследний и последний узлы списка
    begin
      if L = nil then
        begin
          raise EListEmpty.Create('Список пуст!');
          exit;
        end;
      Result := Last(L)^.key;//возвратили элемент списка, находящийся в голове
      lst := PredLast(L,pred);
      if pred = lst then
        begin
          L := nil;
          dispose(pred);
          exit;
        end;
      pred^.next := nil;
      dispose(lst);
    end;
function Tail(var L: List): List;
//Операция Хвост. Выделяет из списка L хвост и возвращает указатель на него. 
  var  pred: PNode;
  begin
    Result:= nil;
    if L = nil then
      begin
        raise EListEmpty.Create('Список пуст!');
        exit;
      end;
    if Number(L) > 1 then
      begin
        Result := L;
        L := Last(L);
        PredLast(Result,pred);
        pred^.next := nil;
      end
    else raise EListEmpty.Create('В списке один элемент!');
  end;
function Tail_(var L: List): List;
//Операция ХвостСправа. Выделяет из списка L хвост справа и возвращает указатель на него.
  begin
    Result:= nil;
    if L = nil then
      begin
        raise EListEmpty.Create('Список пуст!');
        exit;
      end;
    if Number(L) > 1 then
      begin
        Result := L^.next;
        L^.next := nil;
      end
    else raise EListEmpty.Create('В списке один элемент!');
  end;
procedure DeleteList(L: List);
//Удаляет список
  begin
    while L <> nil do H(L);
  end;
procedure Merge(var L,T: List);
//Операция Соединить. К списку L добавляет список N справа.
  begin
    if (L = nil) and (T = nil) then
      begin
        raise EListEmpty.Create('Списки пусты!');
        exit;
      end;
    if (L = nil) or (T = nil) then
      begin
        raise EListEmpty.Create('Один из списков пуст!');
        exit;
      end;
    Last(L)^.next:= T;
    T:= nil;
  end;
end.

        PredLast(Result,pred);
        pred^.next := nil;