> So, if a person would like to use a library method - proc canOverflow() 
> {.raises: ErrorCode.} he may assume that any sort of exception, including 
> that HTTP 404 could be thrown from that proc?

  1. HTTP 404 is not a possible value of ErrorCode. The value is called 
`NameNotFound` and is more general.
  2. Yes `canOverflow` can produce `NameNotFound` in theory. But you don't 
"assume" that, you assume that `canOverflow` can fail for sort of possible 
reasons including reasons that currently are impossible but due to 
implementation changes can expand. Don't enumerate the error cases.


Reply via email to