From 88fe78acc63adaff2d25e81b369f1395290e0e18 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Wed, 18 Oct 2023 13:59:39 +0200
Subject: Add "unreachable".

---
 doc/ref/general/util-exceptions.texi | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'doc')

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
-- 
cgit v1.2.3