Behaviour of Version attribute

Behaviour of Version attribute

[Simon Wright]

I've been exploring the Version attribute and finding some behaviour I
didn't expect with GNAT (GPL 2006 and earlier versions).

It seems that GNAT only considers top-level library packages.

Given

   package Version is end Version;
   procedure Version.Impl;
   with Ada.Text_IO; use Ada.Text_IO;
   procedure Version.Impl is
   begin
      Put_Line (Ada'Version);
      Put_Line (Ada'Body_Version);
      Put_Line (Ada.Text_IO'Version);
      Put_Line (Ada.Text_IO'Body_Version);
      Put_Line (Version'Version);
      Put_Line (Version'Body_Version);
      Put_Line (Version.Impl'Version);
      Put_Line (Version.Impl'Body_Version);
   end Version.Impl;

I was surprised to get this output:

   $ ./version-impl 
   9c7dd3ea
   9c7dd3ea
   9c7dd3ea
   9c7dd3ea
   371fdad7
   371fdad7
   371fdad7
   371fdad7

This must make it hard for GLADE to validate consistency?

I'm actually using Ada95 here, but Annex E doesn't seem different as
far as this issue is concerned.