# HG changeset patch
# User wenzelm
# Date 1284049941 -7200
# Node ID 47273e5b1441e02f1efa217546f185faf255fbd8
# Parent  7189a138dd6c6d1b4d836e3d6294469c4b2377ef
NEWS: some notes on interrupts;

diff -r 7189a138dd6c -r 47273e5b1441 NEWS
--- a/NEWS	Thu Sep 09 18:21:06 2010 +0200
+++ b/NEWS	Thu Sep 09 18:32:21 2010 +0200
@@ -252,6 +252,14 @@
 theory loader state as before.  Potential INCOMPATIBILITY, subtle
 change in semantics.
 
+* Parallel and asynchronous execution requires special care concerning
+interrupts.  Structure Exn provides some convenience functions that
+avoid working directly with raw Interrupt.  User code must not absorb
+interrupts -- intermediate handling (for cleanup etc.) needs to be
+followed by re-raising of the original exception.  Another common
+source of mistakes are "handle _" patterns, which make the meaning of
+the program subject to physical effects of the environment.
+
 
 *** System ***