Updated Exceptions and errors (markdown)

zah 2019-08-14 13:48:27 +02:00
parent 1226e6ae33
commit cb492a3fd2
1 changed files with 1 additions and 1 deletions

@ -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.
4) We gradually introduce the helpers from zah's proposal to turn the documented APIs into compiler-checked specifications.