Re: Concerning subscript bounds checks

[Ken Thomas <kst@ecs.soton.ac.uk>]

My response to this does not concern the thread of the subject but to
suggest a technique that I have found useful in developing numerical
code that contains a subprogram in the generic formal part.

Many applications are not concerned with a single function but a family
of functions. The device I am suggesting is additional declarations to
the formal part.
> 
> generic
> 
      type USER_PARAMETERS is private;
>     type Coord is digits <>;
>     type Index is (<>);
>     type Point is array (Index) of Coord;
>     type Value is digits <>;
>     with function Funct(UP : User_Parameters; X: in Point) return Value;
> 
> procedure Nelder_Mead(UP : User_Parameters,...


-- 
Dr K.S. Thomas
Department of Electronics and Computer Science
University of Southampton
Highfield
Southampton SO17 1BJ
United Kingdom

Telephone : (+44) 01703 593029
Fax :       (+44) 01703 593903

email: kst@ecs.soton.ac.uk