This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Templates and C++ embedded subsets

From: Robert Dewar <dewar at adacore dot com>
To: gdr at acm dot org
Cc: Paul Koning <pkoning at equallogic dot com>, martin at dalecki dot de,mrs at apple dot com, mike at mnmoran dot org, jason at redhat dot com, gcc at gcc dot gnu dot org,rth at redhat dot com, dnovillo at redhat dot com
Date: Sat, 16 Apr 2005 03:19:22 -0500
Subject: Templates and C++ embedded subsets
References: <CF16A552-ADDA-11D9-B4A4-003065BDF310@apple.com> <45f7bfc00c95cf37885bc48e67158f52@dalecki.de> <16992.14872.985635.10180@gargle.gargle.HOWL> <426060AC.4000204@adacore.com> <50086.::ffff:193.212.20.76.1113613963.squirrel@webmail.nerim.net> <42606C1B.4070903@adacore.com> <32825.::ffff:193.212.20.76.1113618508.squirrel@webmail.nerim.net>

Praxis is certainly of the opinion that a limited form of generics
can be accomodated, but I do not think that anyone would suggest
that unlimited use of C++ templates could be easily accomodated
by some of these tools.

I think that is beside the point of what I was trying to get from
your previous connection.


Well I was just speculating on possible reasons for excluding
templates from a C++ subset intended for embedded use. By
comparison, SPARK has excluded generics from the Ada subset
used for SC applications in the praxis context.

References:
- Re: Heads-up: volatile and C++
  - From: Mike Stump
- Re: Heads-up: volatile and C++
  - From: Marcin Dalecki
- Re: Heads-up: volatile and C++
  - From: Paul Koning
- Re: Heads-up: volatile and C++
  - From: Robert Dewar
- Re: Template and dynamic dispatching
  - From: Gabriel Dos Reis
- Re: Template and dynamic dispatching
  - From: Robert Dewar

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]