[acl2/acl2] 91fbc2: Add utilities for programmatic error checking.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 91fbc228c75b54bab3de996ab395b04b1e56140e
https://github.com/acl2/acl2/commit/91fbc228c75b54bab3de996ab395b04b1e56140e
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-04-24 (Mon, 24 Apr 2017)

Changed paths:
A books/kestrel/utilities/error-checking-tests.lisp
A books/kestrel/utilities/error-checking.lisp
M books/kestrel/utilities/top.lisp

Log Message:
-----------
Add utilities for programmatic error checking.

These utilities serve to concisely check for erroneous conditions (e.g. on
inputs from a user to a macro) and generate a soft error, with an informative
error message, if the conditions are not satisfied. Using these utilities help
keep the error checking code concise and readable, and keep the user interface
(error messages) uniform.

These utilities also include a macro DEF-ERROR-CHECKER to define error-checking
functions of a certain form. Most of the functions in these utilities are
generated via this macro.


Commit: 8be9c89ff871fe3fcf644e95cdae9b26a40a35ee
https://github.com/acl2/acl2/commit/8be9c89ff871fe3fcf644e95cdae9b26a40a35ee
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-04-24 (Mon, 24 Apr 2017)

Changed paths:
M books/kestrel/utilities/error-checking.lisp

Log Message:
-----------
Fix two broken documentation links.


Compare: https://github.com/acl2/acl2/compare/292d86302692...8be9c89ff871

[GitHub]

Branch: refs/heads/master