CVS difference for ais/ai-00362.txt

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

--- ais/ai-00362.txt	2004/02/21 04:15:11	1.3
+++ ais/ai-00362.txt	2004/04/06 19:57:16	1.4
@@ -92,7 +92,7 @@
    package Ada.Task_Identification is
       pragma Preelaborate(Task_Identification);
       type Task_ID is private;
-      pragma Preelaboratable_Initialization (Task_Id);
+      pragma Preelaborable_Initialization (Task_Id);
       Null_Task_ID : constant Task_ID;
       function  "=" (Left, Right : Task_ID) return Boolean;
 
@@ -122,7 +122,7 @@
 examined for impacts of any proposed change.
 
 Remember that any dependencies of a Pure unit must be Pure and any dependencies
-of a Preelaboratable unit must be Pure or Preelaboratable.
+of a Preelaborated unit must be Pure or Preelaborate.
 
 We also asked implementers for comments on the difficulty of implementing
 the first version of this proposal. Two implementers responded. DDCI reported
@@ -169,7 +169,7 @@
   Some systems implement Clock by determining the difference between an
   initial time and the current time. Getting the initial time requires
   (system) subprogram calls during elaboration, which is not allowed in a
-  preelaboratable unit.
+  preelaborated unit.
 
   For example, many Windows implementations use a combination of the system
   time function and the high performance counter to provide decent precision
@@ -238,7 +238,7 @@
 
   The package Ada.Exceptions was not preelaborated in Ada 95 because of the
   default initialized objects Null_Id and Null_Occurrence. With appropriate
-  use of pragma Preelaboratable_Initialization, this limitation can be
+  use of pragma Preelaborable_Initialization, this limitation can be
   eliminated. The package has no state of its own, and the routines it depends
   upon must be able to be called from a pure package (it is perfectly possible
   to raise and handle an exception in a pure package). Thus, this package
@@ -388,7 +388,7 @@
   state of its own. This package should not be pure, because we do not
   want to support the use of task_ids in multiple partitions. It couldn't be
   preelaborated in Ada 95, because of the default initialized constant
-  Null_Task_Id. With appropriate use of pragma Preelaboratable_Initialization,
+  Null_Task_Id. With appropriate use of pragma Preelaborable_Initialization,
   this limitation can be eliminated. The package has no state of its own, and
   the routines it depends upon must be able to be called from a pure package
   (it is perfectly possible to declare or rendezvous with a task in a pure

Questions? Ask the ACAA Technical Agent