Templates and C++ embedded subsets

[Robert Dewar]

>>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.