public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
From: Robert Dewar <dewar@gnat.com>
To: Zack Weinberg <zack@codesourcery.com>
Cc: Laurent GUERBY <laurent@guerby.net>,
	Gabriel Dos Reis <gdr@integrable-solutions.net>,
	Richard Henderson <rth@redhat.com>,
	Florian Weimer <fw@deneb.enyo.de>,
	gcc@gcc.gnu.org
Subject: Re: Ada policy
Date: Tue, 31 Aug 2004 18:59:00 -0000	[thread overview]
Message-ID: <4134C75B.8050507@gnat.com> (raw)
In-Reply-To: <87acwb2n6j.fsf@codesourcery.com>

Zack Weinberg wrote:

> And the C language seems to cater more for portability across
> different implementations, too (with conditional compilation and the
> like).

Actually the point in Ada is that you don't need to "cater for
portability across different implementations", since it is perfectly
practical to write in completely standard portable Ada. In C, you
can't help running into portability issues because fundamental
definitions like the characteristics of int are implementation
dependent, and so you are forced to mess with conditional
compilation. When writing portable Ada, you would of course
completely avoid the use of the type Integer (which is what
corresponds to int), since you don't need to use these built
in integer types when you can define your own.


  parent reply	other threads:[~2004-08-31 18:45 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
2004-08-31 18:59                                       ` Robert Dewar [this message]
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=4134C75B.8050507@gnat.com \
    --to=dewar@gnat.com \
    --cc=fw@deneb.enyo.de \
    --cc=gcc@gcc.gnu.org \
    --cc=gdr@integrable-solutions.net \
    --cc=laurent@guerby.net \
    --cc=rth@redhat.com \
    --cc=zack@codesourcery.com \
    /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).