DavePearce/Whiley — Issue #49: Fix Error Handling with Standard Library
Author: DavePearce
Created: 2011-10-20 21:37:13+00:00
State: open

Essentially, we have a module called Error which encompasses a range of possible errors. I need to standardise the error handling facility within the standard library. In particular, as Stephen suggested, you want declared throws clauses to be as precise as possible.