MODULE Test18C;

VAR
  x : PROCEDURE (i : LONGREAL);

BEGIN
  x := ABS;
END Test18C.

Проверка процедурного типа. Тест должен проваливаться.