CVS difference for ai05s/ai05-0086-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0086-1.txt

--- ai05s/ai05-0086-1.txt	2008/01/29 04:02:33	1.1
+++ ai05s/ai05-0086-1.txt	2008/02/05 06:33:09	1.2
@@ -48,7 +48,7 @@
 
 But this is bad for all of the reasons given in AARM 3.7(15.a).
 
---!corrigendum 4.9.1(4)
+!corrigendum 4.9.1(4)
 
 @drepl
 A constraint is @i<statically compatible> with a scalar subtype if it statically
@@ -71,6 +71,8 @@
 excludes null, then so does the first.
 
 !ACATS Test
+
+A B-Test needs to check that null exclusions are checked in these cases.
 
 !appendix
 

Questions? Ask the ACAA Technical Agent