> -- Цитата:
> Тип a, можно использовать для описания других переменных и для описания параметров. И все переменные этого типа будут совместимы с этим параметром функции.А если допустим, использовать переменную d и пытаться подставлять её в параметр функции типа a, то компилятор будет ругаться, что типы не совпадают.
Это понятно, но чем VAR отличается от TYPE?
Например:
## Код:
```
VAR d1, d2, d3: RECORD
b: INTEGER;
c: BOOLEAN
END;
...
d1:=d2;
```

## Код:
```
TYPE a = RECORD
b: INTEGER;
c: BOOLEAN
END;
VAR d1, d2, d4: a;
...
d1:=d2;
```

В обоих примерах присваивание произойдёт.
## Код:
```
d3:=d4;
```

> -- Цитата:
> компилятор будет ругаться, что типы не совпадают.
Я так понимаю, что это даёт слово RECORD.