From: jsa@alexandria (Jon S Anthony)
Subject: Re: (no subject given)
Date: 1996/09/06
Date: 1996-09-06T00:00:00+00:00 [thread overview]
Message-ID: <JSA.96Sep6184237@alexandria> (raw)
In-Reply-To: INFO-ADA%96090309470743@LISTSERV.NODAK.EDU
In article <dewar.841956102@schonberg> dewar@cs.nyu.edu (Robert Dewar) writes:
> "Yes, that was clever and quite nice. Too bad pragma Assert is not
> standard..."
>
> Well too bad in the abstract, but in practice I expect all Ada 95 compilers
> will implement pragma Assert.
> So it does not make much difference to users.
Only if they have the same semantics. Will this be true? Does the
Intermetric accept this? Does ObjectAda implement the pragma as defined
in GNAT? Anyone who knows care to say?
/Jon
--
Jon Anthony
Organon Motives, Inc.
1 Williston Road, Suite 4
Belmont, MA 02178
617.484.3383
jsa@organon.com
next prev parent reply other threads:[~1996-09-06 0:00 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-09-03 0:00 (no subject given) Chris Sparks
1996-09-04 0:00 ` Jon S Anthony
1996-09-05 0:00 ` Robert Dewar
1996-09-05 0:00 ` why not when others David Taylor
1996-09-06 0:00 ` Robert Dewar
1996-09-06 0:00 ` Jon S Anthony [this message]
-- strict thread matches above, loose matches on Subject: below --
1998-04-19 0:00 (no subject given) Chau
1998-04-19 0:00 ` Matthew Heaney
1998-04-19 0:00 ` Matthew Heaney
1996-07-05 0:00 JOHN LY
1996-02-21 0:00 pruiz
1996-02-22 0:00 ` Pascal OBRY
1994-12-21 20:07 Eric Baker
1994-11-20 20:12 Terry Mellon
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox