Re: ANN: Ada 2005 Math Extensions, 20100810 release

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Fri, 13 Aug 2010 21:50:07 +0200, Simon Wright <simon@pushface.org> a  
écrit:
> I've more often come across the latter.
>
> Could consider
>
> generic
>    type Formal_Foo is ...
> package Generic_S is
>    subtype Foo is Formal_Foo;
>
The trouble with this one, is that it move the case to the client side...  
I would not like to generic instantiations “obfuscated” with all of those  
Formal_Foo (I always use named parameter associations... especially with  
generic instantiations).

The Dmitry way, which is also the one I use, end to be less intrusive, as  
the client of the generic package is less likely to have to spell this  
somewhere (except if it/he/she has to use a formal parameter of a given  
instantiated package to instantiate another).


-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.