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=0.6 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00, HK_RANDOM_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,ffc9e2fe760c58fd X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!atl-c05.usenetserver.com!news.usenetserver.com!cycny01.gnilink.net!spamkiller.gnilink.net!gnilink.net!trnddc04.POSTED!20ae255c!not-for-mail Newsgroups: comp.lang.ada From: Justin Gombos Subject: Re: Records that could be arrays References: User-Agent: slrn/0.9.8.1 (Linux) Message-ID: <_DiLf.19641$HU.2213@trnddc04> Date: Thu, 23 Feb 2006 13:19:54 GMT NNTP-Posting-Host: 141.149.87.138 X-Complaints-To: abuse@verizon.net X-Trace: trnddc04 1140700794 141.149.87.138 (Thu, 23 Feb 2006 08:19:54 EST) NNTP-Posting-Date: Thu, 23 Feb 2006 08:19:54 EST Xref: g2news1.google.com comp.lang.ada:3103 Date: 2006-02-23T13:19:54+00:00 List-Id: On 2006-02-23, tmoran@acm.org wrote: > But with > type Rows is new Local_Float; > type Cols is new Local_Float; > the compiler's type checking can point out such errors. In that case, > of course, you have to use a record Sure, my rule wouldn't apply there because we're no longer talking about a composite of a single element type. Cohen uses x,y coodinates of different types as an example of over typing. I'm kind of on the fence. I've been declaring every dimension within a coordinate system to have the same element type because it seems to be more of a hinderance than a benefit to seperate them. The question is whether y is a function of x, which can't always be answered when the type comes into existence. -- PM instructions: do a C4esar Ciph3r on my address; retain punctuation.