Линейные списки

program ListEl;
type                       
 pDinItem=^TDinItem; 
 TDinItem=record 
   inf:integer; 
   next:pDinItem; 
 end;
var 
   pHead:pDinItem;
   pCurrent:pDinItem;
   selekt:integer;
procedure EmptyList(var pCurrent,pHead:pDinItem);
 begin 
  New(pHead);
  pHead^.next:=nil;
  pCurrent:=pHead;
 end; 
 
procedure AddEl(var pCurrent:pDinItem);
var
  x: integer;
  pTemp:pDinItem;
begin
  New(pTemp);
  writeln('Enter a new element');
  readln(x);
  pTemp^.next:=nil;
  pCurrent^.next:=pTemp; 
  pCurrent:=pTemp^.next;
  pCurrent^.inf:=x;
end; 
procedure Lead(var pCurrent:pDinItem); 
begin
  while pCurrent<>nil do
  pCurrent:=pCurrent^.next; 
  writeln(pCurrent^.inf);end;
 
procedure PutEl(var pCurrent:pDinItem);
 var
   pPrev:pDinItem;
   x:integer;
begin 
   Writeln('Enter a deleted element');
   readln(x); 
   While (pCurrent<>nil) and (pCurrent^.inf<>x) do
   pCurrent:=pCurrent^.next; 
   if pCurrent=nil then  
   Writeln('The element is not present') else
  begin 
   pPrev^.next:=pCurrent^.next;
   dispose(pCurrent); 
   pCurrent:=pPrev; 
  end; 
end;
 
begin
 EmptyList(pCurrent,pHead); 
 repeat  
  writeln;  
  writeln(':USER MENU:'); 
  writeln('1:Add');
  writeln('2:Put');
  writeln('3:lead');
  readln(selekt); 
 case selekt of 
  1: AddEl(pCurrent);
  2: PutEl(pCurrent);
  3: lead(pCurrent);
 end;
  until selekt=0;
end.

procedure Lead(var pCurrent:pDinItem); 
begin
  while pCurrent<>nil do
  pCurrent:=pCurrent^.next; 
  writeln(pCurrent^.inf);end;   
- не хватает begin -end для цикла! и еще - что такое pCurrent - указатель на 1 элемент или на последний? 
 если есть указатель на первый эл-т, то написала бы так
 
procedure Lead(pFirst:pDinItem); 
var pCurr: pDinItem; 
begin
  pCurr := pFirst; 
  while pCurr<>nil do
  BEGIN 
    writeln(pCurr^.inf);
    pCurr:=pCurr^.next; 
  END;
end;

procedure EmptyList(var pHead:pDinItem);
 begin 
  New(pHead);
  pHead^.next:=nil;
 end; 
 
procedure AddEl(var pHead:pDinItem);
var
  x: integer;
  pTemp:pDinItem;
begin
  pCurrent:=pHead;
  New(pTemp);
  writeln('Enter a new element');
  readln(x);
  pTemp^.next:=nil;
  pCurrent^.next:=pTemp; 
  pCurrent:=pTemp^.next;
  pCurrent^.inf:=x;
end; 
 
procedure Lead(pHead:pDinItem); 
var pCurr: pDinItem; 
begin
 pCurr := pHead; 
 while pCurr<>nil do
 BEGIN 
  writeln(pCurr^.inf);
  pCurr:=pCurr^.next; 
 END;
end;

procedure EmptyList(var pHead:pDinItem);
 begin 
  !!! это зачем? Вы выделяете память под вроде как первый элемент, но при этом в информационную часть ничего не записываете , а записываете только пустой указатель на следующий элемент.
  напишите просто        pHead:=nil;
 
  New(pHead);       ?????????
  pHead^.next:=nil;
 end; 
 
procedure AddEl(var pHead:pDinItem);
var
  x: integer;
  pTemp:pDinItem;
begin
  !!! добавление элемента... если первый раз добавление делаем, то что получится?
      pHead - уже не пустой указатель после предыдущей процедуры EmptyList, а указатель c пустой информац. частью или может не с пустой, а случайным образом заполненной... 
     создаем темп^, указателю на след. первого эл-та присваиваем темп pCurrent^.next:=pTemp,    
     потом вдруг  pCurrent:=pTemp^.next -получается вообще пустое значение в  pCurrent записываем, и непонятно даже, как потом должно сработать при этом   pCurrent^.inf:=x, если pCurrent = nil... 
 
  pCurrent:=pHead;  New(pTemp);
  writeln('Enter a new element'); readln(x);
  pTemp^.next:=nil; pCurrent^.next:=pTemp; pCurrent:=pTemp^.next; pCurrent^.inf:=x;
end; 
 
  предлагаю например так
procedure AddEl(var pHead:pDinItem);
var x: integer;  pTemp, pCurrent:pDinItem;
begin 
  writeln('Enter a new element'); readln(x); 
  New(pTemp); pTemp^.next:=nil; pTemp^.inf:=x; {создали новый элемент, его адрес в переменной темп}
 
  if pHead = nil then {первый элемент добавляем - надо запомнить его адрес в Head}
       pHead := pTemp  
  else  {не первый элемент добавляем}
  begin 
   pCurrent:=pHead;  
   { идем по списку до конца }
   while pCurrent^.next<>nil do 
        pCurrent := pCurrent^.next; 
  {теперь в pCurrent - указатель на посл элемент списка }
   pCurrent^.next:=pTemp; 
 end; 
end;

program abc;
uses Crt;
type  
 pDinItem=^TDinItem;  
 TDinItem=record 
   inf:integer; 
   next:pDinItem;
 end; 
 var  
   pHead:pDinItem; 
   selekt:integer; 
procedure EmptyList(var pHead:pDinItem); 
 begin 
  New(pHead); 
  pHead^.next:=nil; 
 end; 
procedure AddEl(var pHead:pDinItem); 
var  
  x:integer;  
  pCurrent,pTemp:pDinItem; 
begin 
  writeln('Enter a new element'); 
  readln(x); 
  New(pTemp); 
  pTemp^.next:=nil; 
  pTemp^.inf:=x;  
  if pHead=nil then pHead:=pTemp
 else 
begin 
 pCurrent:=pHead;   
 While pCurrent^.next<>nil do 
      pCurrent:=pCurrent^.next; 
 pCurrent^.next:=pTemp;
 end;  
end;
procedure Lead(var pHead:pDinItem); 
  var pCurr:pDinItem;  
begin  
  pCurr:=pHead; 
  while pCurr<>nil do  
 begin
  writeln(pCurr^.inf); 
  pCurr:=pCurr^.next;  
 end;
end; 
begin
 EmptyList(pHead); 
 repeat  
  writeln;  
  writeln(':USER MENU:');  
  writeln('1:Add');  
  writeln('3:lead'); 
  readln(selekt); 
 case selekt of   
  1: AddEl(pHead);  
  3: lead(pHead);  
 end;  
  until selekt=0;  
end.

procedure EmptyList(var pHead:pDinItem); 
begin 
  Head:=nil;
end;

procedure PutEl(var pHead:pDinItem);
var   
  x:integer;   
  pPrev,pCurrent:pDinItem;
begin  
  writeln('Enter a deleted element');  
  readln(x);   
  pCurrent:=pHead;  
  While(pCurrent<>nil) and (pCurrent^.inf<>x) do  
  pCurrent:=pCurrent^.next;  
  if pCurrent=nil then writeln('The element is not present')    
 else begin   
  pPrev^.next:=pCurrent^.next;    
  dispose(pCurrent);   
  end;  
end;

procedure PutEl(var pHead:pDinItem);
var   
  x:integer;   
  pPrev,pCurrent:pDinItem;
begin  
  writeln('Enter a deleted element');  
  readln(x);   
  pCurrent:=pHead;  
  pPrev := nil; {Указатель на предыдущий элемент }
  While(pCurrent<>nil) and (pCurrent^.inf<>x) do  
  BEGIN pPrev := pCurrent; 
           pCurrent:=pCurrent^.next;  
  END;
  if pCurrent=nil then writeln('The element is not found')    
  else begin   
           if pPrev = nil then {если удаляем 1 элемент - надо переопределить указатель на нач. списка!}
                 pHead := pCurrent^.next 
           else {не первый эл-т удаляем }
                 pPrev^.next:=pCurrent^.next;    
           dispose(pCurrent);   
  end;  
end;