LD-ERROR-TRIPLES.html -- ACL2 Version 6.3

## LD-ERROR-TRIPLES

determines whether a form caused an error during `ld`

    Major Section:  MISCELLANEOUS

`Ld-error-triples` is an `ld` special (see ld). The accessor is `(ld-error-triples state)` and the updater is `(set-ld-error-triples val state)`. `Ld-error-triples` must be either `t` or `nil`. The initial value of `ld-error-triples` is `t`.

The general-purpose ACL2 read-eval-print loop, `ld`, reads forms from `standard-oi`, evaluates them and prints the result to `standard-co`. However, there are various flags that control `ld`'s behavior and `ld-error-triples` is one of them. If this variable has the value `t` then when a form evaluates to an error triple `(mv erp val state)` (see error-triples) such that `erp` is non-`nil`, then an error is deemed to have occurred. When an error occurs in evaluating a form, `ld` rolls back the ACL2 world to the configuration it had at the conclusion of the last error-free form. Then `ld` takes the action determined by `ld-error-action`.