CVS difference for 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