CVS difference for ais/ai-00119.txt

Differences between 1.8 and version 1.9
Log of other versions for file ais/ai-00119.txt

--- ais/ai-00119.txt	2000/06/22 23:29:23	1.8
+++ ais/ai-00119.txt	2000/07/15 02:29:57	1.9
@@ -1,4 +1,4 @@
-!standard 01.01.03 (15)                               00-01-24  AI95-00119/04
+!standard 01.01.03 (15)                               00-07-13  AI95-00119/05
 !class ramification 98-05-05
 !status Response 2000 00-01-24
 !status WG9 approved 99-06-12
@@ -9,8 +9,8 @@
 !status received 96-04-04
 !priority Low
 !difficulty Hard
-!qualifier Omission
-!subject Is Normal Termination an "External Interaction"?
+!qualifier Clarification
+!subject Is normal termination an "external interaction"?
 
 !summary
 
@@ -19,8 +19,8 @@
 !question
 
 Is the normal termination of a program with no function result or
-parameters an external interaction?  It isn't defined as one in
-paragraphs 9..14 of 1.1.3.
+parameters an external interaction? (Yes.)  It isn't defined as one in
+1.1.3(9-14).
 
 In particular, the following main program has no external interactions
 as defined in 1.1.3:
@@ -32,7 +32,7 @@
        end loop;
     end Main;
 
-May an implementation optimize out the infinite loop?  The
+May an implementation optimize out the infinite loop? (No.)  The
 resulting program also has no external interactions; the only
 difference is that it terminates.
 
@@ -45,7 +45,7 @@
   caller.
 
 10.2 (2) says that a main subprogram "can be invoked from
-outside the Ada implementation".  RM A.15 goes on to describe the
+outside the Ada implementation".  A.15 goes on to describe the
 possible interactions of a main subprogram with the "external
 execution environment", including the possibility that a main
 subprogram may return a status value.  In particular "Normal

Questions? Ask the ACAA Technical Agent