Re: ANN: Ada 2005 Math Extensions, 20100810 release

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 08/14/2010 04:51 PM, Georg Bauhaus wrote:
> generic
> type Fur is private;
> package Mechanical_Dog is
> --subtype Fur_Of is Fur; -- eastern pidgin?
> subtype Its_Fur is Fur;
> subtype Dogs_Fur is Fur;
> subtypeFormal_Fur is Fur;
> subtype Actual_Fur is Fur;
> subtype Fur_Type is Fur;
> subtype Generic_Fur is Fur;

The PragmAda Reusable Components have

generic -- PragmARC.Math.Functions
    type Supplied_Real is digits <>;
package PragmARC.Math.Functions is
    pragma Pure;

    subtype Real is Supplied_Real'Base;

This is a different case (naming the base type to use for subprogram parameters, 
to eliminate any constraints on the actual for Supplied_Real), but may suggest 
something useful to someone.

-- 
Jeff Carter
"To Err is human, to really screw up, you need C++!"
St�phane Richard
63

--- news://freenews.netfront.net/ - complaints: news@netfront.net ---