public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
From: dewar@gnat.com (Robert Dewar)
To: gcc@gcc.gnu.org, kaih@khms.westfalen.de
Subject: Re: Ada policy
Date: Wed, 01 Sep 2004 18:19:00 -0000	[thread overview]
Message-ID: <20040901181945.1BBFAF2D1C@nile.gnat.com> (raw)

To try to get this a bit back on track .. I would like to ask the question
of why Zack and perhaps some others think it would be desirable if GNAT 
could be compiled with other proprietary Ada compilers. I really have not
been able to understand any reason why this would be desirable. Let's assume
that

a) it would be quite a bit of work to make this so
b) no one would test it (certainlynot us, since we don't even have these
     expensive proprietary compilers, let alone time to fiddle with them).
c) it would somewhat reduce efficiency, maintainability and readability
     but not to a disabling degree

So these are the negatives, what exactly are the positives, or is this
discussion without practical aim?

I understand that Zack is disappointed, but I am not sure that is enough to
even consider making this change :-)

Certainly I can think of a lot (to me) more productive use of time.
If indeed no one is really suggesting this change, then I would suggest
we drop this particular aspect of "Ada Policy" and concentrate on other
issues.

             reply	other threads:[~2004-09-01 18:19 UTC|newest]

Thread overview: 99+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-09-01 18:19 Robert Dewar [this message]
2004-09-01 18:51 ` Joe Buck
2004-09-01 20:21   ` Robert Dewar
2004-09-01 20:44     ` Joe Buck
2004-09-01 20:52       ` Robert Dewar
2004-09-01 20:53       ` Robert Dewar
  -- strict thread matches above, loose matches on Subject: below --
2004-09-11 14:29 Ada Policy Richard Kenner
2004-09-11 10:43 Nathanael Nerode
2004-09-01 20:48 Ada policy Richard Kenner
2004-08-31 12:53 Richard Kenner
2004-08-31  3:34 Richard Kenner
2004-08-31  3:31 Richard Kenner
2004-08-31  4:07 ` Zack Weinberg
2004-08-31 22:06   ` Kai Henningsen
2004-08-31 22:19     ` Robert Dewar
2004-08-31 23:15       ` Florian Weimer
2004-09-01  1:23         ` Robert Dewar
2004-09-01 12:36           ` Florian Weimer
2004-09-01 12:51             ` Robert Dewar
2004-09-02 13:42               ` Florian Weimer
2004-09-03  7:54                 ` Robert Dewar
2004-09-09 21:00                   ` Florian Weimer
2004-09-09 21:15                     ` Robert Dewar
2004-08-31  3:22 Richard Kenner
2004-08-31  3:29 ` Zack Weinberg
2004-08-31  4:05   ` Robert Dewar
2004-08-31  4:05     ` Robert Dewar
2004-08-31  4:38       ` Zack Weinberg
2004-08-31  5:01   ` Matt Austern
2004-08-31 13:08     ` Robert Dewar
2004-08-31  1:25 Richard Kenner
2004-08-31  1:57 ` Zack Weinberg
2004-08-30 23:06 Richard Kenner
2004-08-31  2:59 ` Mike Stump
2004-08-31  3:10   ` Robert Dewar
2004-08-31  8:16 ` Per Bothner
2004-08-31 13:22   ` Robert Dewar
2004-08-30 22:18 Richard Kenner
2004-08-30 22:38 ` Robert Dewar
2004-08-30 22:01 Richard Kenner
2004-08-30 22:02 ` Laurent GUERBY
2004-08-30 21:41 Richard Kenner
2004-08-30 21:53 ` Joseph S. Myers
2004-08-30 22:28   ` Florian Weimer
2004-08-30 22:30     ` Joseph S. Myers
2004-08-30 23:01       ` Florian Weimer
2004-08-31 18:45         ` Laurent GUERBY
2004-08-30 22:43     ` Robert Dewar
2004-08-30 23:01       ` Florian Weimer
2004-08-31  0:11         ` Robert Dewar
2004-08-31  0:14           ` Florian Weimer
2004-08-30 22:34   ` Robert Dewar
2004-08-30 22:31 ` Robert Dewar
2004-08-30 22:48   ` Joseph S. Myers
2004-08-30 22:52     ` Mike Stump
2004-08-30 23:00       ` Robert Dewar
2004-08-30 22:55     ` Robert Dewar
2004-08-30 22:52 ` Mike Stump
2004-08-30 22:56   ` Robert Dewar
2004-08-30 10:44 GCC 3.5 Status (2004-08-29) Richard Kenner
2004-08-30 11:27 ` Laurent GUERBY
2004-08-30 13:05   ` Jakub Jelinek
2004-08-30 18:28     ` Laurent GUERBY
2004-08-30 20:14       ` Florian Weimer
2004-08-30 20:34         ` Ada policy (was: GCC 3.5 Status (2004-08-29)) Laurent GUERBY
2004-08-30 20:53           ` Ada policy Zack Weinberg
2004-08-30 20:55             ` Richard Guenther
2004-08-30 21:04             ` Richard Henderson
2004-08-30 21:24               ` Diego Novillo
2004-08-30 22:25               ` Robert Dewar
2004-08-31  1:13                 ` Zack Weinberg
2004-08-31  2:37                   ` Robert Dewar
2004-08-31  2:54                     ` Zack Weinberg
2004-08-31  3:00                       ` Robert Dewar
2004-08-31  3:28                         ` Zack Weinberg
2004-08-31  3:41                           ` Robert Dewar
2004-08-31  4:22                             ` Zack Weinberg
2004-08-31 12:55                               ` Robert Dewar
2004-08-31 15:02                                 ` Gabriel Dos Reis
2004-08-31 15:36                                   ` Robert Dewar
2004-08-31 13:06                               ` Robert Dewar
2004-08-31 15:10                                 ` Gabriel Dos Reis
2004-08-31 18:10                                   ` Laurent GUERBY
2004-08-31 18:30                                     ` Zack Weinberg
2004-08-31 18:55                                       ` Robert Dewar
2004-09-01 17:12                                         ` Kai Henningsen
2004-09-01 17:32                                           ` Robert Dewar
2004-08-31 18:59                                       ` Robert Dewar
2004-08-31 20:05                                         ` Scott Robert Ladd
2004-08-31 20:26                                           ` Robert Dewar
2004-08-31 20:53                                             ` Scott Robert Ladd
2004-08-31 20:56                                               ` Joseph S. Myers
2004-08-31 21:11                                             ` Florian Weimer
2004-08-31 21:50                                               ` Robert Dewar
2004-08-31 19:02                                       ` Robert Dewar
2004-08-31 19:28                                       ` Laurent GUERBY
2004-08-31 19:36                                         ` Robert Dewar
2004-08-31 18:42                                     ` Robert Dewar
2004-08-31 13:10                               ` Florian Weimer
2004-08-31 13:47                                 ` Robert Dewar
2004-08-30 21:05             ` Joseph S. Myers
2004-08-31 22:02             ` Geoffrey Keating
2004-08-31 22:11               ` Florian Weimer
2004-08-31 22:14               ` Robert Dewar
2004-08-31  0:13           ` Florian Weimer

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20040901181945.1BBFAF2D1C@nile.gnat.com \
    --to=dewar@gnat.com \
    --cc=gcc@gcc.gnu.org \
    --cc=kaih@khms.westfalen.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).