CVS difference for 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