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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,bdebc54a485c13a4
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.232.169 with SMTP id tp9mr12041742pbc.6.1332527882398;
        Fri, 23 Mar 2012 11:38:02 -0700 (PDT)
Path: 
 kz5ni25205pbc.0!nntp.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news.mixmin.net!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: My first compiler bug: work around or redesign?
Date: Fri, 23 Mar 2012 19:37:51 +0100
Organization: cbb software GmbH
Message-ID: <10kx1zr05qt9s$.ab8q1peu0ukt.dlg@40tude.net>
References: <slrnjmp96d.1lme.lithiumcat@sigil.instinctive.eu>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: /bBpnkeEm9kG1v1C1CjDFw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
X-Received-Bytes: 1728
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2012-03-23T19:37:51+01:00
List-Id: <comp.lang.ada>

On Fri, 23 Mar 2012 16:29:06 +0000 (UTC), Natasha Kerensikova wrote:

> I happen to have encountered my very first compiler bug, or at least
> something that claims to be in the following message

First, make sure your code is legal. In some cases GNAT crashes when
detects an error in the program. One method to find the problem is to
comment offending source code lines until it compiles and then twist it
this or that way.

> I guess the problem somehow involves generics:

Yep,  there are always problems with generics in GNAT, usually related to
visibility. Use renaming/subtyping of the formal parameters. This might
help to work around bugs.

...
I think AdaCore should drop the current model and redesign generics from
scratch allowing sharing the bodies. The model is not only buggy. It makes
compilation painfully slow, consuming unreasonably huge amounts of memory
(3GB+).

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de