diff --git a/collects/scribblings/reference/match.scrbl b/collects/scribblings/reference/match.scrbl index 2c692cd4af..2bdc781887 100644 --- a/collects/scribblings/reference/match.scrbl +++ b/collects/scribblings/reference/match.scrbl @@ -27,7 +27,7 @@ in the matching clause is evaluated in tail position with respect to the @scheme[match] expression. The @scheme[clause]s are tried in order to find a match. If no -@scheme[clause] matches, then the @exnraise[exn:fail]. +@scheme[clause] matches, then the @exnraise[exn:misc:match?]. An optional @scheme[(=> id)] between a @scheme[pat] and the @scheme[expr]s is bound to a @defterm{failure procedure} of zero @@ -409,6 +409,13 @@ matching against the result of @scheme[expr]. b ]} +@; ---------------------------------------- + +@defproc[(exn:misc:match? [v any/c]) boolean?]{ +A predicate for the exception raised by in the case of a match failure. +} + + @; ---------------------------------------- @section{Extending @scheme[match]}