CVS difference for ai05s/ai05-0202-1.txt

--- ai05s/ai05-0202-1.txt	2011/02/15 04:48:34	1.3
+++ ai05s/ai05-0202-1.txt	2011/02/16 06:15:23	1.4
@@ -110,3 +110,33 @@
 Exc1, Exc2, or Program_Error?
 
 ****************************************************************
+
+From: Tucker Taft
+Sent: Sunday, February 13, 2011  3:35 PM
+
+Here is a rewrite of AI-202, coming to the opposite conclusion, namely that if a
+task completes normally, but then fails during finalization, the Cause is set to
+Unhandled_Exception, and the exception occurrence identifies Program_Error.
+
+****************************************************************
+
+From: Bob Duff
+Sent: Sunday, February 13, 2011  4:08 PM
+
+> Here is a rewrite of AI-202, coming to the opposite conclusion, namely
+> that if a task completes normally, but then fails during finalization,
+> the Cause is set to Unhandled_Exception, and the exception occurrence
+> identifies Program_Error.
+
+Looks good to me.
+
+> Answer: Cause is Unhandled_Exception, and Exception_Identity(X) =
+> Program_Error'Identity.
+
+Minor editorial comment: Add "In both cases, " after "Answer: ".
+(Because !question contains two questions.)
+
+[Editor's note: We don't "answer" !questions unless the answer is two or
+three words. This clearly doesn't qualify, so it was removed completely.]
+
+****************************************************************