2.10.13. АВАРИИ

Хвост $error Q позволяет породить ошибку $error(Oe), где объектное выражение Oe является результатом вычисления тропы Q.

 

Env,0,St |- Q => Oe,St'

--------------------------------------

Env,m,St |- $error Q => $error(Oe),St'

 

Env,0,St |- Q => $fail(0),St'

-----------------------------------------------------------

Env,m,St |- $error Q => $error(Fname "Unexpected fail"),St'

Fname - имя функции, в которой находится конструкция.

Env,0,St |- Q => $error(Oe),St'

--------------------------------------

Env,m,St |- $error Q => $error(Oe),St'