CVS difference for ais/ai-00116.txt

Differences between 1.5 and version 1.6
Log of other versions for file ais/ai-00116.txt

--- ais/ai-00116.txt	1999/10/08 23:41:05	1.5
+++ ais/ai-00116.txt	2000/06/21 23:39:08	1.6
@@ -1,4 +1,4 @@
-!standard 09.01    (09)                               99-10-07  AI95-00116/04
+!standard 09.01    (09)                               00-06-21  AI95-00116/05
 !class binding interpretation 98-03-27
 !status Corrigendum 2000 99-07-28
 !status WG9 approved 98-06-12
@@ -25,23 +25,14 @@
 include a task_definition.
 
 Paragraph 10 says that the elaboration of a task declaration elaborates
-the task_definition; what if there isn't one?
+the task_definition; what if there isn't one? (An empty task_definition
+is elaborated.)
 
 Paragraph 11 says the elaboration of a task_definition creates the task
 type and its first subtype; if there is no task_definition, when are
-the task type and its first subtype created?
+the task type and its first subtype created? (There is an empty
+task_definition.)
 
-The intent seems obvious.  A good fix would be to state that
-
-    task type TT;
-
-is equivalent to
-
-    task type TT is
-    end TT;
-
-providing an implicit task_definition.
-
 !recommendation
 
 (See summary.)
@@ -50,15 +41,24 @@
 
 Insert after paragraph 9.1 (9):
 
-For a task declaration without task_definition, a
+For a task declaration without a task_definition, a
 task_definition without task_items is assumed.
 
 !discussion
 
 The question not only applies to the syntax of 9.1(2) , but equally
 to the syntax of 9.1(3), i.e., to all task declarations.
+
+The intent is clear. The fix means that
+
+    task type TT;
+
+is equivalent to
+
+    task type TT is
+    end TT;
 
-The intent is clear and is as stated in the summary above.
+providing an implicit, empty task_definition.
 
 !corrigendum 9.1(9)
 

Questions? Ask the ACAA Technical Agent