From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f891f,eac70c5fad02d925 X-Google-Attributes: gidf891f,public X-Google-Thread: 103376,eac70c5fad02d925 X-Google-Attributes: gid103376,public X-Google-Thread: 1094ba,c6e2c9477ddee2a6 X-Google-Attributes: gid1094ba,public From: Ken Thomas Subject: Re: Concerning subscript bounds checks Date: 1996/06/28 Message-ID: <31D392D6.41C67EA6@ecs.soton.ac.uk>#1/1 X-Deja-AN: 162532693 references: <4qdj3e$btf@goanna.cs.rmit.EDU.AU> <4ql9eq$hdt@goanna.cs.rmit.EDU.AU> <4qtgfi$hfa@goanna.cs.rmit.EDU.AU> to: "Richard A. O'Keefe" content-type: text/plain; charset=us-ascii organization: CCG mime-version: 1.0 newsgroups: comp.lang.ada,comp.lang.misc,comp.lang.fortran x-mailer: Mozilla 2.0 (X11; I; SunOS 4.1.3_U1 sun4c) Date: 1996-06-28T00:00:00+00:00 List-Id: 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