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

--- ai05s/ai05-0191-1.txt	2009/11/04 04:29:02	1.1
+++ ai05s/ai05-0191-1.txt	2009/11/04 06:26:38	1.2
@@ -107,4 +107,29 @@
 
 !appendix
 
+From: Erhard Ploedereder
+Sent: Sunday, June 14, 2009  2:40 AM
+
+A frequent precondition is that parameter objects (and global objects) do not
+overlap in memory. This precondition is a bit painful to write correctly with
+current language means. 
+
+There should be some library-provided boolean function Is_Overlapping or Overlaps.
+
+A broader question is whether there are other frequently required predicates
+that could be standardized by the language. If so, the ARG should decide on the
+method of provision, so that we do not end up with built-ins, attributes, libraries,
+magic incantations, joyfully mixed. 
+
+****************************************************************
+
+From: Robert Dewar
+Sent: Sunday, June 14, 2009  4:02 AM
+
+This has to be an attribute to be useful, you don't want to have to instantiate
+a generic for every possible type that might be involved in such a test, also
+passing values is useless, and we can't expect to be able to use 'Access in
+general, passing 'Size and 'Address is ugly, and anyway, won't work with all
+parameter forms.
+
 ****************************************************************