Re: Example Ada calling Gnu Scientific Library (GSL)

["G.B." <bauhaus@notmyhomepage.invalid>]

On 30.03.17 16:22, Dmitry A. Kazakov wrote:
> Preconditions may help, do we have formal generic pre-/post-conditions?

As a hint to a user of generic package, it seems
possible to announce aspects of FP Types required:

generic
    type Fractional is digits <>;
package R is
    type T is new Fractional
    with
      Dynamic_Predicate => (Fractional'Digits >= 8
                              and T in -4.0 .. +4.0);
    
    function Algo (X : T) return T;
end R;