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

--- ai05s/ai05-0189-1.txt	2009/11/04 06:26:38	1.2
+++ ai05s/ai05-0189-1.txt	2010/01/09 01:31:30	1.3
@@ -92,3 +92,14 @@
 library-level elaboration is complete.
 
 ****************************************************************
+
+From: Tullio Vardanega
+Sent: Saturday, June 13, 2009  3:05 AM
+
+Something along the line of Tucker's outline would be very useful indeed.
+At present we often find ourselves in the need of cheating ourselves and
+the compiler by removing pragma Restrictions to permit the elaboration code
+to use dynamic memory allocation, but in that manner we lose the ability to
+enforce the restriction for the code executed after elaboration.
+
+****************************************************************