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

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

--- ai12s/ai12-0223-1.txt	2018/06/12 05:28:47	1.4
+++ ai12s/ai12-0223-1.txt	2020/01/31 05:17:28	1.5
@@ -337,7 +337,7 @@
 ****************************************************************
 
 From: Randy Brukardt
-Sent: Thrusday, June 7, 2018  7:31 PM
+Sent: Thursday, June 7, 2018  7:31 PM
 
 ...
 > Where could such a dispatching call happen? Presumably within a 
@@ -426,5 +426,58 @@
 derivations of them (and containerss) illegal. I think the result would be 
 much better (if the code was rewritten to use coderivation), but the code 
 breakage might be too much to stomach.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Wednesday, October 30, 2019  2:41 PM
+
+[Split from another thread filed in AI12-0257-1 -- Editor]
+
+Aside: Ada does not have good support for the case where an ADT has various 
+ancillary private types, as such types need to be derived/extended as a group.
+I've figured out a workable solution for that (after years of trying), but the
+ARG decided not to consider the probem further this go-round. Too bad, but 
+understandable.
+
+If you care, the solution involves treating a pair (or more) of tagged types 
+as a single entity for the purposes of dispatching and derivation. If anyone 
+is interested, I can explain further.
+
+****************************************************************
+
+From: Bob Duff
+Sent: Wednesday, October 30, 2019  3:06 PM
+
+...
+> If you care, the solution involves treating a pair (or more) of tagged 
+> types as a single entity for the purposes of dispatching and 
+> derivation. If anyone is interested, I can explain further.
+
+I had a similar idea some years ago.  I've never worked out the details.  
+Didn't you write up an AI on that?  A reference to the AI would be good, or 
+if that doesn't exist, I'd be interested in you explaining further.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Wednesday, October 30, 2019  3:51 PM
+
+There's an AI, but it was for a different idea that Steve proved wouldn't 
+work. (That's AI12-0223-1.) The last e-mail in that AI outlines this idea,
+but I never worked out any details beyond those associated with derivation 
+and dispatching.
+
+If you'd like me to write up something a bit more formal, I can put that 
+on my TBD list and post it later as a new thread (it shouldn't get combined 
+with this one).
+
+****************************************************************
+
+From: Bob Duff
+Sent: Wednesday, October 30, 2019  4:22 PM
+
+I won't try to bully you into doing it, ;-) but if you feel like it, go ahead.
+If you do, I'll read it.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent