comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Suitability for small Windows projects
Date: 2000/10/21
Date: 2000-10-21T00:00:00+00:00	[thread overview]
Message-ID: <8ss9fb$6m7$1@nnrp1.deja.com> (raw)
In-Reply-To: 8smc96$hs7$1@nnrp1.deja.com

In article <8smc96$hs7$1@nnrp1.deja.com>,
  r_c_chapman@my-deja.com wrote:
> We're thinking about it, but it's a fair way off yet.  Some
history:
> generics were broken in Ada83 to a point where they simply
couldn't
> be seriously considered for SPARK83.  In Ada95, things are
better,
> so there's some possiblility of a limited form of generic
units in
> SPARK95 - the main restriction will be, of course, on the form
> of generic formal parameters allowed.

I don't buy the above for a moment, there is no HUGE difference
between Ada 83 and Ada 95 here, given that SPARK would only
allow a limited form of generics in either environment.


Sent via Deja.com http://www.deja.com/
Before you buy.




  reply	other threads:[~2000-10-21  0:00 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-09-26 22:38 Suitability for small Windows projects Ray Smith
2000-09-26  0:00 ` Jeff Creem
2000-09-26  0:00 ` Gerhard Haering
2000-09-27  4:20   ` Ray Smith
2000-09-27  0:00     ` Tarjei T. Jensen
2000-09-27  0:00       ` Gautier
2000-09-27  0:00         ` Georg Bauhaus
2000-09-28  0:00           ` Gautier
2000-09-28  0:00           ` Ted Dennison
2000-09-28  0:00             ` Brian Rogoff
2000-10-19  0:00               ` r_c_chapman
2000-10-21  0:00                 ` Robert Dewar [this message]
2000-10-23  0:00                   ` Peter Amey
2000-10-23  0:00                     ` Robert A Duff
2000-10-23  0:00                       ` Peter Amey
2000-10-05  0:00       ` Wes Groleau
2000-10-05  0:00         ` tmoran
2000-10-06  0:00       ` Lao Xiao Hai
2000-09-28  2:53     ` DuckE
2000-09-27  0:21 ` tmoran
2000-09-27  5:30   ` tmoran
2000-09-27  0:32 ` Jeffrey Carter
  -- strict thread matches above, loose matches on Subject: below --
2000-09-27  6:21 Alexey V. Litvinov
replies disabled

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