CVS difference for ais/ai-00168.txt

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

--- ais/ai-00168.txt	1999/02/28 00:31:17	1.3
+++ ais/ai-00168.txt	1999/02/28 01:43:00	1.4
@@ -72,8 +72,7 @@
 !discussion 98-04-04
 
 The problem (1) comes from the fact that it is possible to use a view
-conversion to convert an array object with aliased components to an array
-type
+conversion to convert an array object with aliased components to an array type
 with non-aliased components.  Such a conversion must be disallowed.
 
 At the Henley meeting, the following case was also discussed:
@@ -87,15 +86,13 @@
 
 The root of problem (2) is that the partial view of P.T is constrained, but
 the full view isn't.  This causes privacy problems when applying the
-following
-rule:
+following rule:
 
 "if a component_definition contains the reserved word aliased and the type of
 the component is discriminated, then the nominal subtype of the component
 shall be constrained." (RM95 3.6(11))
 
-One way to fix this problem would be to require a component-by-component
-check
+One way to fix this problem would be to require a component-by-component check
 on the assignment to Q.X, but that would be very expensive.  Moreover, a
 compile-time check would clearly be better than a run-time check.
 

Questions? Ask the ACAA Technical Agent