From cb492a3fd2352f9f3e93f9b06bb150af80f5051e Mon Sep 17 00:00:00 2001 From: zah Date: Wed, 14 Aug 2019 13:48:27 +0200 Subject: [PATCH] Updated Exceptions and errors (markdown) --- Exceptions-and-errors.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Exceptions-and-errors.md b/Exceptions-and-errors.md index 27b621a..a81170f 100644 --- a/Exceptions-and-errors.md +++ b/Exceptions-and-errors.md @@ -11,4 +11,4 @@ Must-read: 3) We bless the use of both exceptions and error codes for recoverable errors (the more appropriate is selected on a case-by-case basis). We make an active effort to document the recoverable errors of each API when we design it. -4) We gradually introduce the helpers from my proposal to turn the documented APIs into compiler-checked specifications. \ No newline at end of file +4) We gradually introduce the helpers from zah's proposal to turn the documented APIs into compiler-checked specifications. \ No newline at end of file