comp.lang.ada
 help / color / mirror / Atom feed
From: Wes Groleau <groleau+news@freeshell.org>
Subject: Re: Microsoft & Ada
Date: Sun, 12 Sep 2004 17:04:41 -0500
Date: 2004-09-12T17:04:41-05:00	[thread overview]
Message-ID: <m_2dndd-XKZlWtncRVn-pw@gbronline.com> (raw)
In-Reply-To: <uwtyz7w6w.fsf@obry.org>

Pascal Obry wrote:

> tmoran@acm.org writes:
> 
>>  Gnat's an interesting example.  It's advertised as an Ada compiler, but
>>with the default compilation options, it isn't. 
> 
> You are pushing a bit far :)

With the default options, GNAT does not comply
with certain RM requirements (check into "overflow").

But it does provide command line switches to make it compliant.
I always thought that was a poor choice--folks who have a REASON
to disable checks should do so explicitly.  But apparently the
paying customers disagree.


-- 
Wes Groleau
-----------
Curmudgeon's Complaints on Courtesy:
http://www.onlinenetiquette.com/courtesy1.html
(Not necessarily my opinion, but worth reading)



  reply	other threads:[~2004-09-12 22:04 UTC|newest]

Thread overview: 37+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-09-11 10:53 Microsoft & Ada Andrew Carroll
2004-09-11 11:49 ` Ludovic Brenta
2004-09-12  7:56   ` Pascal Obry
2004-09-13  3:10     ` Adrian Hoe
2004-09-13 16:45       ` Pascal Obry
2004-09-11 12:02 ` stephane richard
2004-09-11 12:26   ` Brian May
2004-09-11 12:43     ` stephane richard
2004-09-11 16:42     ` Wes Groleau
2004-09-12  1:27       ` tmoran
2004-09-12  8:01         ` Pascal Obry
2004-09-12 22:04           ` Wes Groleau [this message]
2004-09-13  3:14       ` Adrian Hoe
2004-09-11 21:05 ` Björn Persson
2004-09-11 23:11   ` stephane richard
2004-09-12  3:12   ` Jeffrey Carter
  -- strict thread matches above, loose matches on Subject: below --
2004-09-13  4:39 Robert C. Leif
2004-09-14  2:19 ` Adrian Hoe
     [not found] <20040908230107.A580B4C40C4@lovelace.ada-france.org>
2004-09-09  7:20 ` Andrew Carroll
     [not found] <20040907010534.A306B4C40C2@lovelace.ada-france.org>
2004-09-07  6:31 ` Andrew Carroll
2004-09-08 12:15   ` Pascal Obry
2004-09-08 17:22     ` stephane richard
2004-09-08 21:57       ` Ludovic Brenta
2004-09-13  3:07         ` Adrian Hoe
2004-09-13  3:05       ` Adrian Hoe
     [not found] <01bd7718$08467e80$3cfc60ca@public>
1998-05-04  0:00 ` Samuel T. Harris
1998-05-05  0:00   ` Markus Kuhn
1998-05-11  0:00     ` Daren Scot Wilson
1998-05-11  0:00       ` Dirk Craeynest
1998-05-12  0:00         ` Samuel Mize
1998-05-11  0:00       ` david.c.hoos.sr
1998-05-14  0:00       ` nabbasi
1998-05-04  0:00 ` Jerry Petrey
1998-05-09  0:00   ` Mark D McKinneyq
1998-05-05  0:00 ` John McCabe
1998-05-06  0:00 ` Adrian BY, Hoe
1998-05-06  0:00 ` Sergey Makarenko
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox