CVS difference for ai12s/ai12-0215-1.txt

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0215-1.txt

--- ai12s/ai12-0215-1.txt	2017/04/21 05:26:33	1.3
+++ ai12s/ai12-0215-1.txt	2017/04/21 05:43:53	1.4
@@ -2447,3 +2447,23 @@
 
 ****************************************************************
 
+From: Bob Duff
+Sent: Saturday, January 21, 2017  10:04 AM
+
+> we could say that the default index type for generic vectors is 
+> Positive for example.
+
+Unless you're making parallel arrays, different arrays/vectors should usually
+have different index types.
+
+> I think we should use structural equivalence rules, because Ada is 
+> generally missing any form of higher level structural typing, and that 
+> causes a lot of problems. Also people wanting generics with nominal 
+> typing already have the (very logical in that instance) choice of 
+> creating instances. Here is a mail I sent to Steve in a discussion about
+> this topic:
+
+Structural typing for components, but not index?
+
+****************************************************************
+

Questions? Ask the ACAA Technical Agent