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: 103376,9c86eb13dd395066
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: CRC in Ada?
Date: 1997/03/15
Message-ID: <dewar.858439200@merv>#1/1
X-Deja-AN: 225803176
References: <1997Mar2.220652@nova.wright.edu> <1997Mar5.131846.1@eisner>
 	<5fmo1k$adm@mulga.cs.mu.OZ.AU> <1997Mar6.114441.1@eisner>
 	<E6n850.3Ct@world.std.com> <1997Mar7.090814.1@eisner>
 	<33206340.2616@bix.com> <5g157e$pqf@ratatosk.uio.no> 	<dewar.858014423@merv>
 <5g1qtg$4ad$1@A-abe.resnet.ucsb.edu> 	<dewar.858096166@merv>
 <5g4k31$g54$1@A-abe.resnet.ucsb.edu> 	<JSA.97Mar12193731@alexandria>
 <dewar.858263011@merv> <JSA.97Mar14163437@alexandria>
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-03-15T00:00:00+00:00
List-Id: <comp.lang.ada>


Jon said

<<It is even worse than you suggest for arrays "in general".  They could
be composed of elements whose type is user defined and which have
their own specialized 'Read and 'Write.  There's no way to handle this
sort of thing in general except to just call the things element by
element.>.

Well of course, but the compiler knows perfectly well when this is the case,
and tthere is nothing bad about repeated calls to the user routine if that
is what the user as explicitly requested!

On the other hand, this does not stand in the way at all from optimizaing
certain cases where the user has NOT specialized things this way.

Of course, as always, the existence of the general case tends to mean that
the optimized case gets put aside (consider the influence on Fortran
compilers of the fact that format strings *may* be dynamic -- for a long
time the result was that Fortran runtimes treated all format strings as

dynamic.