CVS difference for ai12s/ai12-0074-1.txt

Differences between 1.12 and version 1.13
Log of other versions for file ai12s/ai12-0074-1.txt

--- ai12s/ai12-0074-1.txt	2014/07/31 02:09:33	1.12
+++ ai12s/ai12-0074-1.txt	2014/09/30 02:59:27	1.13
@@ -1,4 +1,4 @@
-!standard 4.6(56)                                   14-07-23    AI12-0074-1/05
+!standard 4.6(56)                                   14-09-29    AI12-0074-1/06
 !standard 6.4.1(6.25/3)
 !standard 6.4.1(13.1/3)
 !class binding interpretation 13-06-09
@@ -36,32 +36,32 @@
 How does this work in the case where the actual parameter is a view conversion?
 Consider:
 
-   with text_io; use text_io;
-   procedure bad_conv1 is
+   with Text_IO; use Text_IO;
+   procedure Bad_Conv1 is
      type Defaulted_Integer is new Integer
        with Default_Value => 123;
 
-     procedure foo (x : out integer) is begin null; end;
+     procedure Foo (x : out Integer) is begin null; end;
 
-     y : long_long_float := long_long_float'last;
-      -- or, for a variation, leave y uninitialized
+     Y : Long_Long_Float := Long_Long_Float'Last;
+      -- or, for a variation, leave Y uninitialized
    begin
-    foo (defaulted_integer (y));  -- Now illegal.
-    put_line (long_long_float'image (y));
+    Foo (Defaulted_Integer (Y));  -- Now illegal.
+    Put_Line (Long_Long_Float'Image (Y));
    end;
 
-   with text_io; use text_io;
-   procedure bad_conv2 is
+   with Text_IO; use Text_IO;
+   procedure Bad_Conv2 is
 
-     type mod3 is mod 3 with default_value => 0;
-     type mod5 is mod 5;
+     type Mod3 is mod 3 with Default_Value => 0;
+     type Mod5 is mod 5;
 
-     procedure foo (xx : out mod3) is begin null; end;
+     procedure Foo (xx : out Mod3) is begin null; end;
 
-     yy : mod5 := 4;
+     YY : Mod5 := 4;
    begin
-    foo (mod3 (yy));  -- Now illegal.
-    put_line (mod5'image (yy));
+    Foo (Mod3 (YY));  -- Now illegal.
+    Put_Line (Mod5'Image (YY));
    end;
 
 In this case, the converted value might not (probably won't) fit into the

Questions? Ask the ACAA Technical Agent