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.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,fad7742cc8dcbb84 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!proxad.net!newsfeed.stueberl.de!feed.news.tiscali.de!news.belwue.de!newsfeed.arcor.de!news.arcor.de!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: type and subtype Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.14.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <1122215078.559279.16980@f14g2000cwb.googlegroups.com> <87mzocrx9d.fsf@insalien.org> <_vPEe.3516$Uk3.77@newsread1.news.pas.earthlink.net> <0L7Fe.3$Jf6.1@dfw-service2.ext.ray.com> Date: Tue, 26 Jul 2005 10:21:48 +0200 Message-ID: <1ki8hvl7x4f4e.8uoxtbe6tewo.dlg@40tude.net> NNTP-Posting-Date: 26 Jul 2005 10:21:45 MEST NNTP-Posting-Host: c693652a.newsread4.arcor-online.net X-Trace: DXC=47KbU^i@A9B4mA>;52^R7K:ejgIfPPldDjW\KbG]kaMHXY;eg@jLYeLmJA6ghjm1GE[6LHn;2LCVNI^><>f3dFYJ:iZbZ@=[VbA X-Complaints-To: abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:3780 Date: 2005-07-26T10:21:45+02:00 List-Id: On Mon, 25 Jul 2005 08:41:48 -0700, Jeffrey Carter wrote: > Dmitry A. Kazakov wrote: >> >> I think that Ludovic's view is more consistent: checks are just a part of >> the conversion which otherwise is an identity function, because *presently* >> the representation is required to be same. But representation is an >> implementation detail and thus cannot count. Moreover it is very desirable >> to allow subtypes having different representations. > > because representations of subtypes are not required to be the same. Depends on the definition, but I better agree with this. After all there are other examples like String vs. String (1..20). So, if representations aren't same then a conversion is required. Also Ludovic was right. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de