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: a07f3367d7,b2c4d98cbc17f0a9 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!news1.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail From: Stephen Leake Newsgroups: comp.lang.ada Subject: Re: A proposal for Debian policy for Ada References: <87aarzd14c.fsf@ludovic-brenta.org> <198miwzl97pnl$.1onmpwoadjr1p.dlg@40tude.net> <87632ncxjg.fsf@ludovic-brenta.org> <9vgayrtxydx3.y97a4jp28sin$.dlg@40tude.net> <821vd91vx3.fsf@stephe-leake.org> <128sk4lf7e74o.exterpadd849$.dlg@40tude.net> <982f31af-6db1-4949-8e62-0efb3c034dd2@o15g2000vbb.googlegroups.com> Date: Wed, 19 May 2010 05:25:02 -0400 Message-ID: <82pr0sxmz5.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (windows-nt) Cancel-Lock: sha1:Prm8AMFIRDhhFBBwJjKPdvTDQOs= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: abuse@flashnewsgroups.com Organization: FlashNewsgroups.com X-Trace: de5b44bf3aeade197caa717864 Xref: g2news2.google.com comp.lang.ada:11753 Date: 2010-05-19T05:25:02-04:00 List-Id: "Dmitry A. Kazakov" writes: > On Tue, 18 May 2010 02:53:05 -0700 (PDT), Ludovic Brenta wrote: > >> Dmitry A. Kazakov wrote on comp.lang.ada: >>> On Tue, 18 May 2010 04:00:40 -0400, Stephen Leake wrote: >>>> "Dmitry A. Kazakov" writes: >>> >>>>> BTW, is it possible to have one united Ada policy for all Linux >>>>> distributions? >>> >>>> First you have to enumerate "all Linux distributions"; I don't know how >>>> to do that. >>> >>> That's simple: all distributions having GNAT on the list. (In effect GNAT >>> is the only Linux Ada compiler) >> >> You have reduced the problem to a smaller sub-problem but not solved >> the sub-problem, thereby showing that it is not as "simple" as you >> claim it is. > > But didn't I solve at least the problem of Linux enumeration? (:-)) No. What you said is: "given a list of Linux distributions, you determine which ones need an Ada policy by checking to see if they include GNAT". That doesn't say how to get the "list of Linux distributions" in the first place, which was my question. >> Personally I think they should participate on comp.lang.ada if only >> occasionally to make their work known. But the fact is they don't. > > They certainly will, if a project of unification starts, organized as a > body similar to ARG. It could also be a good place for reporting > language-specific GNAT bugs and fixes, before they go to GCC. ARG does not use c.l.a; they use a private mailing list. I would expect any formal body to do the same. -- -- Stephe