From: Robert Dewar <dewar@gnat.com>
To: Kai Henningsen <kaih@khms.westfalen.de>
Cc: gcc@gcc.gnu.org
Subject: Re: Ada policy
Date: Wed, 01 Sep 2004 17:32:00 -0000 [thread overview]
Message-ID: <413607C9.2080902@gnat.com> (raw)
In-Reply-To: <9G2BR4Gmw-B@khms.westfalen.de>
It must be some other dewar who said
> "we do it this way because
> the other way is not practical"
With respect to using portable Ada for large
projects. I said nothing of the kind. Yes of
course it would be practical to write GNAT in
portable Ada. It would also be practical to write
it in C++, but that does not mean it would be a
good idea in this case.
The bogus logic is to assume the following
syllogism which doesn't just have a divided
middle, it has no middle :-)
GNAT is written in non-portable Ada
GNAT is a large project
Therefore it is impractical to write large projects
in portable Ada.
I have given lots of arguments and discussion to tell you
why we decided to use GNAT extensions in writing GNAT. Nowhere
among these arguments and discussions is any hint that one of
the reasons was that it was impractical to use portable Ada!
next prev parent reply other threads:[~2004-09-01 17:32 UTC|newest]
Thread overview: 109+ messages / expand[flat|nested] mbox.gz Atom feed top
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:04 ` Jakub Jelinek
2004-08-30 20:25 ` Laurent GUERBY
2004-08-31 5:27 ` Eric Botcazou
2004-08-31 9:42 ` Arnaud Charlet
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 [this message]
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
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 22:01 Richard Kenner
2004-08-30 22:02 ` Laurent GUERBY
2004-08-30 22:18 Richard Kenner
2004-08-30 22:38 ` Robert Dewar
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-31 1:25 Richard Kenner
2004-08-31 1:57 ` Zack Weinberg
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 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:34 Richard Kenner
2004-08-31 12:53 Richard Kenner
2004-09-01 18:19 Robert Dewar
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
2004-09-01 20:48 Richard Kenner
2004-09-11 10:43 Ada Policy Nathanael Nerode
2004-09-11 14:29 Richard Kenner
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=413607C9.2080902@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).