Slightly clarify explanation of WITH-ERRNO-HANDLER*.

This commit is contained in:
sperber 2001-06-13 14:11:49 +00:00
parent a40ff4b314
commit baa65dee1d
1 changed files with 166 additions and 166 deletions

View File

@ -49,7 +49,7 @@ Programs can use \ex{with-errno-handler*} to establish
handlers for these exceptions.
If a {\Unix} error arises while \var{thunk} is executing,
\var{handler} is called on two arguments:
\var{handler} is called on two arguments like this:
\codex{(\var{handler} \var{errno} \var{packet})}
\var{packet} is a list of the form
$$\var{packet} = \ex{(\var{errno-msg} \var{syscall} . \var{data})},$$