комбинированные типы. операторы присоединения. Опции

[ducky]

помогите пожалуйста из неработающей программы, работающую сделать..

program errors;
 type поле = (а,b);
запись = record a:integer; b:char end;
 var х,у:запись; c:char;
 function f (var r:запись):запись;
 var р:поле;
begin for p := a to b do f.p := succ(z.p) end;
 begin read©;
with x do begin a := ord©; b := c end;
y := x; if x = у then y := f(x);
with у do writeln(a,x) 
end.

[volvo]

Вот это:

type поле = (а,b);
{ ... }
for p := a to b do f.p := succ(z.p)

- нереально (в таком виде, когда типы полей разные). Нельзя подставлять в цикле названия полей записи, и работать с ними. Можно заменить на

f.a := succ(f.a); f.b := succ(f.b)

Я ж говорю - почти полная переделка:

program errors (input,output);
type
  zapis =
  record
    a: integer;
    b: char;
  end;
var
  x, y: zapis; c: char;

function equal(left, right: zapis): boolean;
begin
  equal := (left.a = right.a) and (left.b = right.b);
end;

procedure f(var z:zapis; var res: zapis);
begin
  res.a := succ(z.a);
  res.b := succ(z.b);
end;

begin
  read ©;
  with x do
  begin
    a:=ord(4); b:=c;
  end;
  y := x; if equal(x, y) then f(x, y);
  with y do
    writeln (a, ' ', x.a, ' ', x.b);
end.

Ты лучше расскажи, откуда этот бредовый код откопала? Смысл его в чем? Просто поизвращаться с записями?