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,42e401e32683b965 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!feeder.news-service.com!texta.sil.at!newsfeed01.chello.at!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: A new notion: stronglly-typed-by-user language Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.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: Date: Sat, 17 Apr 2010 09:00:06 +0200 Message-ID: <37p79j7nw4ep.9f8pem1g4f7l$.dlg@40tude.net> NNTP-Posting-Date: 17 Apr 2010 09:00:05 CEST NNTP-Posting-Host: 7e273a7d.newsspool4.arcor-online.net X-Trace: DXC=kBc?7OBNE7F2:OR3:3gaE@4IUK On Sat, 17 Apr 2010 07:25:25 +0200, J-P. Rosen wrote: > Note that T'Base is the same type as T, so there is no issue here. But it is not all same. The behavior of T'Base may differ, so it might be unsafe to use one as an equivalent of another in certain contexts (substitutability violation). -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de