diff options
Diffstat (limited to 'doc/ref/general/util-exceptions.texi')
| -rw-r--r-- | doc/ref/general/util-exceptions.texi | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/ref/general/util-exceptions.texi b/doc/ref/general/util-exceptions.texi index 34ba33f9..4c2b432d 100644 --- a/doc/ref/general/util-exceptions.texi +++ b/doc/ref/general/util-exceptions.texi @@ -38,3 +38,14 @@ signal SIGINT, which kills the program. @defun filter-stack pred? stack @c TODO document me @end defun + + +@defun unreachable procedure fmt args +Marks that a code path should be unreachable. Throws an exception +which should never be caught (an @code{(exit -1)} would also have +worked, but would make debugging harder). + +@var{procedure} is the procedure which reached an ``impossible'' +state, @var{fmt} a format string, and @var{args} arguments to that +format string. +@end defun |