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-Thread: 103376,fb264cdd67c2f20f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Newsgroups: comp.lang.ada Subject: Re: Compiler Bug or what I'm doing wrong? References: <05lkrrojfd.fsf@hod.lan.m-e-leypold.de> <1150875880.103859.95200@p79g2000cwp.googlegroups.com> <4fstb4F1kgmekU1@individual.net> <6bbqsmhcc2.fsf@hod.lan.m-e-leypold.de> <4g27m6F1k6iegU1@individual.net> <4g28a7F1kv2hnU1@individual.net> From: M E Leypold Date: 24 Jun 2006 22:56:41 +0200 Message-ID: <0ubqsimfw6.fsf@hod.lan.m-e-leypold.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii User-Agent: Some cool user agent (SCUG) NNTP-Posting-Host: 88.72.218.241 X-Trace: news.arcor-ip.de 1151182238 88.72.218.241 (24 Jun 2006 22:50:38 +0200) X-Complaints-To: abuse@arcor-ip.de Path: g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail Xref: g2news2.google.com comp.lang.ada:5014 Date: 2006-06-24T22:56:41+02:00 List-Id: Simon Wright writes: > "Alex R. Mosteo" writes: > > > Alex R. Mosteo wrote: > > > >> It's right in my oppinion to discuss it here, maybe others > >> disagree. Although, for history, I'd prefer if everyone used the > >> site mentioned above, for example. > > > > After inspecting more carefully the gnuada site, I believe that the > > bug tracker is for their installation packages, right? > > Yes > > > Maybe the 3rd party bugs section could serve. > > I would have thought something starting at the GNATP page (== 3.15p) > would be appropriate for that compiler, similar for others. This is at > http://gnuada.sourceforge.net/pmwiki.php/Packages/GNATP reached from > the Packages section of the first page. I agree and possibly will post my bug report there. This site isn't used for bugtracking currently, so I asked wether there is a better place. If not, that sit will do and we'll see what comes from it. Regards -- Markus