viewtopic.php?f=30&t=615&sid=e11407d60b8529449db251ecb56d7f52&start=40
> -- Vlad писал(а):
> 1) Проверку пост-условий можно вынести в отдельную процедуру.2) Некоторые языки позволяют сделать это явно или более другими способами, нежели явным ASSERT в конце функции.Вот несколько другой вариант модификации процедуры. Пересобираем ВВ## Код:
```
(!) DevLinker.Link
BlackBox.exe := Kernel$+ Log Files HostFiles StdLoader
1 Applogo.ico 2 Doclogo.ico 3 SFLogo.ico 4 CFLogo.ico 5 DtyLogo.ico
1 Move.cur 2 Copy.cur 3 Link.cur 4 Pick.cur 5 Stop.cur 6 Hand.cur 7 Table.cur
```
В модуле Services дополняем процедуру SameType вполне тривиальной строкой,## Код:
```
MODULE Services;
IMPORT SYSTEM, Kernel, Log;
…
PROCEDURE SameType* (IN ra, rb: ANYREC): BOOLEAN;
   BEGIN
      Log.String("Test"); Log.Ln;
      RETURN Kernel.TypeOf(ra) = Kernel.TypeOf(rb)
   END SameType;
…
```
компилируем без ошибки и ВВ перестает запускаться. Почему?