From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,28dcfc3d6dc519b8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-02-14 07:46:33 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed00.sul.t-online.de!t-online.de!news-lei1.dfn.de!news-fra1.dfn.de!news.rwth-aachen.de!not-for-mail
From: "Alexander Boucke" <alexb@lufmech.rwth-aachen.de>
Newsgroups: comp.lang.ada
Subject: Re: Renaming subprogram and default_expression
Date: Thu, 14 Feb 2002 16:46:30 +0100
Organization: Lehr- und Forschungsgebiet f. Mechanik
Message-ID: <a4gm4p$3fr$1@nets3.rz.RWTH-Aachen.DE>
References: <mailman.1013687581.29134.comp.lang.ada@ada.eu.org>
 <87sn84i80s.fsf@deneb.enyo.de><a4gfvm$qek$1@nets3.rz.RWTH-Aachen.DE>
 <87zo2cgkib.fsf@deneb.enyo.de>
NNTP-Posting-Host: 134.130.177.111
X-Trace: nets3.rz.RWTH-Aachen.DE 1013701593 3579 134.130.177.111 (14 Feb 2002
 15:46:33 GMT)
X-Complaints-To: abuse@rwth-aachen.de
NNTP-Posting-Date: 14 Feb 2002 15:46:33 GMT
X-Newsreader: Microsoft Outlook Express Unix 5.00.2013.1312
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2013.1312
Xref: archiver1.google.com comp.lang.ada:20006
Date: 2002-02-14T15:46:33+00:00
List-Id: <comp.lang.ada>


Florian Weimer wrote in message <87zo2cgkib.fsf@deneb.enyo.de>...
>I think so.  I'm currently tracking it down.  It appears that the
>generated body for the renaming declaration is checked for full
>conformance to the specification of the renamed subprogram, which is
>wrong.


This does not seem to be the case for strings edit:

package body Strings_Edit

......
   package Roman_Edit is
      procedure Get
                (  Source  : in String;
                   Pointer : in out Integer;
                   Value   : out Roman;
                   First   : in Roman := Roman'First;
                   Last    : in Roman := Roman'Last;
                   ToFirst : in Boolean := False;
                   ToLast  : in Boolean := False
                );
..............
   end Roman_Edit;
   package body Roman_Edit is separate;

   procedure Get
             (  Source  : in String;
                Pointer : in out Integer;
                Value   : out Roman;
                First   : in Roman := Roman'First;
                               -- ^^ comment this
                Last    : in Roman := Roman'Last;
                                -- ^^ comment this
                ToFirst : in Boolean := False;
                ToLast  : in Boolean := False
             )  renames Roman_Edit.Get;
...............
end Strings_Edit;

Type roman is range 1..3999; is defined in strings edit.ads
Note, that gnat3.14p does not complain about the preset values for the
booelan arguments, only for the new integer type. If I comment these default
values, the program compiles. This seems to be the same error as in the
short testprog. starting this thread: A new integer-type was used there,
too.
I assume now, that the selfdefined type makes the problem here.

Regards,
Alexander