CVS difference for ais/ai-00190.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00190.txt

--- ais/ai-00190.txt	1998/09/30 00:17:34	1.1
+++ ais/ai-00190.txt	1998/10/01 00:24:29	1.2
@@ -1,19 +1,40 @@
-!standard 13.12(0) (00)                               97-08-19  AI95-00190/00
-!class confirmation 97-08-19
+!standard 13.12(0) (00)                               98-09-26  AI95-00190/01
+!class ramification 98-09-26
+!status work item 98-09-26
 !status received 97-08-19
 !priority Medium
 !difficulty Hard
 !subject Compile-time vs. Run-time Errors
 
-!summary 97-08-19
+!summary 98-09-26
 
-Shall we allow implementations to reject (i.e. refuse to run) programs
-that have run-time errors that are detectable at compile time?
+Whenever enforcement of a restricting configuration pragma is not
+required by the Standard prior to execution, but left to
+implementation-defined behaviour of dynamic semantics, it is
+reasonable to interpret pre-execution enforcement as a valid
+implementation-defined behaviour, provided that every execution of the
+partition will violate the restriction.
+
+Even more restrictive implementation behaviour is possible under
+non-standard modes.
 
 !question 97-08-19
 
+Shall we allow implementations to reject (i.e. refuse to run) programs
+that have run-time errors that are detectable at compile time?
+
+!response 98-09-26
 
-!response 97-08-19
+For the particularly critical rejection of programs that violate
+restrictions imposed by pragma Restrictions, the Standard provides for
+implementation-defined behaviour in lieu of a compile- or link-time
+check otherwise required by 13.12(8). It is reasonable to interpret
+pre-execution enforcement of a configuration pragma as a valid
+implementation-defined behaviour, even if such enforcement is not
+required to occur prior to execution. This is particularly true for
+D.7(15), as this clause recommends the raising of a Storage_Error
+exception but does not specify the place where such an exception is to
+be raised.
 
 
 !appendix 97-08-19

Questions? Ask the ACAA Technical Agent