CVS difference for ais/ai-00130.txt
--- ais/ai-00130.txt 2000/04/14 01:45:07 1.10
+++ ais/ai-00130.txt 2000/07/13 04:31:28 1.11
@@ -11,7 +11,7 @@
-!subject Enforcing Restrictions might violate the generic contract model.
+!subject Enforcing Restrictions might violate the generic contract model
@@ -35,6 +35,7 @@
Allocators are prohibited in subprograms, generic subprograms, tasks
and entry bodies; instantiations of generic packages are also
prohibited in these contexts.
@@ -119,7 +120,7 @@
Furthermore, the pragma Restrictions is primarily designed to
support application environments where schedulability
and formal verification requirements dictate that generics
-can only be certified with respected to particular instantiations --
+can only be certified with respect to particular instantiations --
never in the abstract.
A more serious problem with the rules given for the No_Task_Hierarchy
Questions? Ask the ACAA Technical Agent