CVS difference for ai12s/ai12-0239-1.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0239-1.txt

--- ai12s/ai12-0239-1.txt	2019/11/08 04:28:21	1.5
+++ ai12s/ai12-0239-1.txt	2020/01/11 01:44:03	1.6
@@ -653,3 +653,45 @@
 meeting might be hard.
 
 ****************************************************************
+
+From: Justin Squirek
+Sent: Monday, January 6, 2020  9:39 AM
+
+Hi everyone, following internal discussions within AdaCore I would like to 
+propose changes to the current Ada 2020 standard.
+
+AI12-0239: Removal of ghost from the Ada 2020 standard due to concerns raised 
+by the SPARK team regarding implementation. It was the conclusion that there 
+is some interest in the feature, but that more prototyping and refinement is 
+necessary and that customer demand for the feature wasn't large enough.
+
+[Other AIs deleted - filed appropriately - Editor.]
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Monday, January 6, 2020  3:03 PM
+
+> AI12-0239: Removal of ghost from the Ada 2020 standard due to concerns ...
+
+I would suggest we change the status to "Hold" rather than withdraw, since 
+it seems like a good proposal, but perhaps better postponed to a later 
+revision.
+
+****************************************************************
+
+From: Justin Squirek
+Sent: Monday, January 6, 2020  4:23 PM
+
+Yes I agree, a hold status would be better.
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Monday, January 6, 2020  4:50 PM
+
+Also, I think it would be interesting to prototype this generalized "Ghost" 
+notion in GNAT after the 202X work is under control...  It feels like it 
+could be quite useful.
+
+****************************************************************

Questions? Ask the ACAA Technical Agent