CVS difference for ai12s/ai12-0147-1.txt
--- ai12s/ai12-0147-1.txt 2015/01/22 03:18:10 1.1
+++ ai12s/ai12-0147-1.txt 2015/01/23 00:30:24 1.2
@@ -129,3 +129,32 @@
Me too!
****************************************************************
+
+From: Simon Wright
+Sent: Thursday, January 22, 2015 5:51 AM
+
+> So I think that expression_function_declaration and
+> null_subprogram_declaration are missing from syntax for
+> protected_operation_item.
+
+null_procedure_declaration
+
+****************************************************************
+
+From: Simon Wright
+Sent: Thursday, January 22, 2015 6:04 AM
+
+but, fyi, GNAT says "buttons.adb:92:07: protected operation cannot be a null
+procedure”.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Thursday, January 22, 2015 6:28 PM
+
+So GNAT is inconsistently consistent. :-) It makes no sense to treat
+expression functions and null procedures differently here, especially as a
+null procedure could be useful in completing a protected operation inherited
+from an interface. Either allow no shorthands, or all shorthands.
+
+****************************************************************
Questions? Ask the ACAA Technical Agent