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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e51581f95441cb4 X-Google-Attributes: gid103376,public From: Scott Renfro Subject: Re: Discriminant as default initial value Date: 1997/04/02 Message-ID: <33424865.3C1B@sirinet.net>#1/1 X-Deja-AN: 230117064 References: <199704020043_MC2-13A2-3DDB@compuserve.com> Organization: Sirius Systems Group, Inc. Newsgroups: comp.lang.ada Date: 1997-04-02T00:00:00+00:00 List-Id: > Robert Dewar replied: > > >No, it works fine in the windows version too. This was a very vague > >report, > >I paid little attention to it. If people think they have found a problem > >in GNAT, it should be properly written up, formatted according to the > >suggestions in gnatinfo.txt, and sent to report@gnat.com. My newsfeed has not received Robert's message, so I do not know the original context. I am getting this from Kees de Lezenne Coulander's reply. The reason it is a very vague _report_ is that the original message was _not_ a report. It was a question by a new to Ada programmer trying to learn the language, and clearly stated as such. I did not believe at the time that I was suffering from a GNAT bug, rather that I did not understand something about discriminants. I did not want to send a 'pilot error' question to gnat as a bug report. I had investigated the resources I have both online and in paper form and could not find an answer, although Cohen's Ada as a Second Language pp. 381-382 came as close as I could find and seemed to indicate that it was permissible. Having exhausted my resources, I decided to ask the knowledgeable people of c.l.a. Unfortunately, everyone seems focused on GNAT bugs and not whether or not the use of discriminants as default initial values is permissible according to the RM. This has lead me to conclude that it must be permissible, or someone would have surely said something, so it must be something worth reporting. I will now reformat my question as a bug report and send it to report@gnat.com. I would have been happier, though, if someone had said yes what you are trying to do is permissible, or no, that cannot be permissible according to the RM or given another hint of a location in the RM to check. Oh well, off to report@gnat.com I go. Scott