CVS difference for ais/ai-10260.txt

Differences between 1.2 and version 1.3
Log of other versions for file ais/ai-10260.txt

--- ais/ai-10260.txt	2004/11/01 22:16:36	1.2
+++ ais/ai-10260.txt	2004/11/14 06:37:22	1.3
@@ -553,5 +553,42 @@
 
 !appendix
 
+From: Tucker Taft
+Sent: Saturday, Saturday 13, 2004  5:43 PM
+
+I would recommend that we allow defaults
+for formal abstract subprograms.
+
+E.g.:
+
+   formal_abstract_subprogram_declaration ::=
+         with subprogram_specification is abstract [subprogram_default];
+
+That is, you should be able to write:
+
+     with procedure Input(S : access Root_Stream_Type'Class)
+       return T is abstract T'Input;
+
+   or
+
+     with function Image(X : T) return String is abstract <>;
+
+There seems no justification for having to give up on defaults
+just to add the requirement that the actual be a dispatching op.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Saturday, Saturday 13, 2004  10:28 PM
+
+Because the syntax is unspeakable?
+
+Anyway, I asked this exact question at the Madison meeting, and received the answer that it wasn't important. I thought it was you that actually voiced that. The minutes say:
+
+"For the dispatching formal subprogram, is abstract replaces is Default,
+meaning you can't specify a default for such a subprogram. Not a big deal."
+
+I certainly wouldn't have left it out if we hadn't already discussed it.
+
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent