CVS difference for ai05s/ai05-0054-2.txt

--- ai05s/ai05-0054-2.txt	2007/10/25 06:10:05	1.1
+++ ai05s/ai05-0054-2.txt	2007/10/26 01:37:57	1.2
@@ -381,3 +381,21 @@
 No, but see my rationale given above.
 
 ****************************************************************
+
+From: Jean-Pierre Rosen
+Sent: Thursday, October 25, 2007  7:27 AM
+
+> The call to Do_It causes a modification to the local data of the task
+> Obj.Tsk, which is a part of a constant. This surely seems to violate
+> 3.3(13/2) "The value of a constant object cannot be changed." (one presumes
+> that the local values of a task are part of the value of an object
+> containing that task).
+> 
+> There doesn't seem to be any penalty for this violation, so maybe it is safe
+> to ignore it, but it seems odd at best.
+ 
+Well, a constant can include a pointer to a variable, whose value can 
+also be changed. Not exactly the same thing, but I think close enough 
+that we don't have to care about it.
+
+****************************************************************