From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <1092ecb1fccdb5af51c89a1854558c4f@vitanuova.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] same functions everywhere
From: rog@vitanuova.com
In-Reply-To: <3EB37781.1030903@null.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Tue,  6 May 2003 19:43:53 +0100
Topicbox-Message-UUID: a011f840-eacb-11e9-9e20-41e7f4b1d025

> If you're going to handle errors, the code has to exist one way or
> another.  A good exception facility centralizes the error handling in
> a corner away from the main logic.  Error handling inherently
> interferes with the main logic; it is easier to verify loop invariants
> etc.  if one doesn't have the "error terms" in the assertions.
> Usually the corner with the error handling can be verified as doing
> the correct thing much more simply than if the possible error cases
> are scattered through the main logic.

what kinds of exceptional conditions are you thinking about here?