простая задача на списки, fp Опции

[compiler]

Добрый день!
Надо довести до совершенство решение задачи, тема который для меня тёмный лес:
Написать программу, содержащую процедуру, которая меняет местами первый
и второй элементы не пустого списка.
Если элементы не найдены, то выдать на экран соответствующие сообщение.
задача уже решалась на форуме, однако хотелось бы увидеть оптимальное решение, учитывая возможности FP
моё решение

{$mode objfpc}
type
		data=^node;
		node=record i:integer; next:data; end;

function ch(var p:data):boolean;
var wp:data;
begin
		if p^.next<>nil then begin
				wp:=p^.next; p^.next:=wp^.next; wp^.next := p;
				p:=wp;
				ch:=true;
		end else
				ch:=false;
end;

procedure  print(const p:data);
var p0:data;
begin
		p0:=p;
		if (p0^.next<>nil) then begin
				repeat
						writeln(p0^.i); p0:=p0^.next;
				until (p0^.next=nil);
				writeln(p0^.i);
		end;
end;

procedure  init(var p:data);
var	 p0,p1:data;	 i:integer;
begin
		new(p);
		p^.next:=nil; p^.i:=0;
		p0:=p;
		readln(i);
		if i<>0 then begin
				p0^.i:=i;
				readln(i);
				while i<>0 do begin
						new(p1);
						p1^.i:=i; p1^.next:=nil;
						p0^.next:=p1;
						p0:=p1;
						readln(i);
				end;
		end;
end;

procedure free(p:data);
var	 p0:data;
begin
		repeat
				p0:=p^.next;
				dispose(p);
				p:=p0;
		until (p=nil);
end;

var
		sp:data;
begin
		init(sp);
		if ch(sp) then print(sp) else writeln('error');
		free(sp);
end.

заранее благодарен.

[volvo]

Менять надо не ее, а функцию Ch:

  // сначала проверяем, не нулевой ли p, и только если есть - обращаемся к p^.next
  if (p <> nil) and (p^.next<>nil) then begin

[compiler]

Менять надо не ее, а функцию Ch:

огромное спасибо!

[compiler]

я тут ещё одну процедурку пытаюсь реализовать(меняет местами первый и пятый элемент) но то ли вечер, то ли ещё что-то, но не получается... да и текст кривой идёт...

{остальной текст программы в посте volvo...}
function replace1a5(var d0:data):boolean;
var
        wp, wp0, d:data;        i:integer;
begin
        result:=true;
        if d0<>nil then begin
                wp0:=d0; d:=d0;
                i:=0;
                while ((i<4) and result) do
                        if wp0^.next=nil then result:=false
                        else begin
                                inc(i); wp0:=wp0^.next;
                        end;
                if result then begin
                        wp:=wp0^.next;{4}
                        wp0^.next:=d;{4->1}
                        d^.next:=wp^.next;{1->6}
                        wp^.next:=d0^.next;{5->2}
                        d0:=wp;{!показываем что у нас новый первый элемент!}
                end;
        end else
                result:=false;
end;

но в результате числа после пяти теряются:(