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

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0039-1.txt

--- ai05s/ai05-0039-1.txt	2007/02/02 23:50:41	1.1
+++ ai05s/ai05-0039-1.txt	2007/04/05 01:49:14	1.2
@@ -77,7 +77,7 @@
 example above.
 
 But it still could do nothing interesting. Even without any freezing on a call,
-initializing Write_Ptr with a function would necessarily fail elaboration checks
+initializing Write_Ptr with a function call would necessarily fail elaboration checks
 and thus would raise Program_Error. That's because Write_Ptr necessarily
 includes a parameter of the type, and thus any function returning it has to have its
 body later. The body could not occur before the freezing point of My_Big_Int, because

Questions? Ask the ACAA Technical Agent