CVS difference for ais/ai-00116.txt

--- ais/ai-00116.txt	1998/09/30 23:25:10	1.2
+++ ais/ai-00116.txt	1999/07/29 00:51:01	1.3
@@ -1,19 +1,20 @@
-!standard 09.01    (02)                               98-06-12  AI95-00116/02
+!standard 09.01    (02)                               99-07-28  AI95-00116/03
 !class binding interpretation 98-03-27
+!status Corrigendum 2000 99-07-28
 !status WG9 approved 98-06-12
 !status ARG Approved (with changes) 13-0-0  97-11-16
 !status work item 96-04-04
 !status received 96-04-04
 !priority Low
 !difficulty Easy
-!subject Elaboration of task type with no task_definition
+!subject Elaboration of a task with no task_definition
 
-!summary 96-04-04
+!summary
 
-For a task_type_declaration with no task_definition, an empty
+For a task declaration with no task_definition, an empty
 task_definition is assumed.
 
-!question 96-04-04
+!question
 
 A legal task_type_declaration is
 
@@ -40,17 +41,42 @@
 
 providing an implicit task_definition.
 
-!recommendation 98-03-27
+!recommendation
 
 (See summary.)
 
-!wording 98-03-27
+!wording
 
-!discussion 98-03-27
+Insert after paragraph 9.1 (9):
 
+For a task declaration without 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 and is as stated in the summary above.
+
+!corrigendum 9.1(9)
+
+@dinsa
+A @fa<task_definition> defines a task type and its first subtype. The first
+list of @fa<task_item>s of a @fa<task_definition>, together with the
+@fa<known_discriminant_part>, if any, is called the visible part of the
+task unit.  The optional list of @fa<task_item>s after the reserved word
+@b<private> is called the private part of the task unit.
+@dinst
+For a task declaration without @fa<task_definition>, a
+@fa<task_definition> without @fa<task_item>s is assumed.
+
+!ACATS test
+
+ACATS tests C650001, C940001, and C940005 (and some others) use the
+construct in question.
 
-!appendix 96-04-04
+!appendix
 
 !section 9.1(02)
 !subject Elaboration of task type with no task_definition