Re: prohibit certain generic instantiations in Ada 2005

["Jeffrey R. Carter" <spam@spam.com>]

Dmitry A. Kazakov wrote:
> package Checker is
>    function Check (T : Float) return Float renames "+";
> end Checker;
> 
> with Checker;  use Checker;
> generic
>    type T is private;
>    wth function Check (X : T) return T is <>;

Actually, "is Checker.Check" is closer here to the OP's idea, but even then the 
user can supply another function for the Check. What the OP has posted is a 
template that can only be instantiated with float; that's no generic at all.

-- 
Jeff Carter
"Whatever it is, I'm against it."
Horse Feathers
46