CVS difference for 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