1.1 --- a/docs/exceptions.txt	Sat May 30 20:30:28 2009 +0200
     1.2 +++ b/docs/exceptions.txt	Sun May 31 18:44:40 2009 +0200
     1.3 @@ -1,5 +1,16 @@
     1.4  Exception Handling
     1.5 -------------------
     1.6 +==================
     1.7 +
     1.8 +Active Exceptions
     1.9 +=================
    1.10 +
    1.11 +When an exception is raised, an exception instance is defined as the active
    1.12 +exception. This active exception remains in force until either a new exception
    1.13 +is raised in any handling of the exception, or upon exit of a handler where
    1.14 +the active exception has been caught (thus resetting the active exception).
    1.15 +
    1.16 +Handlers
    1.17 +========
    1.18  
    1.19  An exception handler stack is defined such that when a try...except or
    1.20  try...finally block is entered, a new handler is defined.
    1.21 @@ -13,3 +24,12 @@
    1.22  If no handler is defined when an exception is raised or re-raised, the program
    1.23  should terminate. This might be done by having a "handler #0" which explicitly
    1.24  terminates the program.
    1.25 +
    1.26 +Instructions
    1.27 +------------
    1.28 +
    1.29 +PushHandler(block) defines an active handler at the location indicated by the
    1.30 +given block.
    1.31 +
    1.32 +PopHandler removes the active handler at or after the location indicated by
    1.33 +the previously given block.