NEWS
changeset 39277 f263522ab226
parent 39250 548a3e5521ab
parent 39239 47273e5b1441
child 39301 e1bd8a54c40f
child 39305 d4fa19eb0822
     1.1 --- a/NEWS	Fri Sep 10 14:37:57 2010 +0200
     1.2 +++ b/NEWS	Fri Sep 10 15:17:44 2010 +0200
     1.3 @@ -254,6 +254,14 @@
     1.4  theory loader state as before.  Potential INCOMPATIBILITY, subtle
     1.5  change in semantics.
     1.6  
     1.7 +* Parallel and asynchronous execution requires special care concerning
     1.8 +interrupts.  Structure Exn provides some convenience functions that
     1.9 +avoid working directly with raw Interrupt.  User code must not absorb
    1.10 +interrupts -- intermediate handling (for cleanup etc.) needs to be
    1.11 +followed by re-raising of the original exception.  Another common
    1.12 +source of mistakes are "handle _" patterns, which make the meaning of
    1.13 +the program subject to physical effects of the environment.
    1.14 +
    1.15  
    1.16  *** System ***
    1.17