ho fatto qualche modifica al codice di sopra ora è giusto:

Program gest_lista;
TYPE Pnodo:^nodo;
nodo=record
dato,info:integer;
succ.prec,corr:Pnodo;
end;
var T,nuovo:Pnodo;
Procedure svuota_lista;
begin
T:=nil;
writeln('la lista è vuota');
end;
Procedure visita(T);
var a:Pnodo;
begin
a:=T;
if t=nil then
writeln('la lista è vuota')
else
REPEAT
write('',a^.info,'-');
a:=a^.succ;
UNTIL (a=nil);
end;