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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,73cb216d191f0fef X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII X-Received: by 10.180.98.103 with SMTP id eh7mr1153224wib.3.1363278080665; Thu, 14 Mar 2013 09:21:20 -0700 (PDT) X-FeedAbuse: http://nntpfeed.proxad.net/abuse.pl feeded by 88.191.116.97 Path: bp2ni91967wib.1!nntp.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!nntpfeed.proxad.net!dedibox.gegeweb.org!gegeweb.eu!gegeweb.org!eternal-september.org!feeder.eternal-september.org!mx05.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Is this expected behavior or not Date: Thu, 14 Mar 2013 17:21:23 +0100 Organization: A noiseless patient Spider Message-ID: References: <8klywqh2pf$.1f949flc1xeia.dlg@40tude.net> <513f6e2f$0$6572$9b4e6d93@newsspool3.arcor-online.net> <513faaf7$0$6626$9b4e6d93@newsspool2.arcor-online.net> <51408e81$0$6577$9b4e6d93@newsspool3.arcor-online.net> <1xqmd3386hvns.1og1uql2cgnuf$.dlg@40tude.net> <5140b812$0$6575$9b4e6d93@newsspool3.arcor-online.net> <5140f1ad$0$6634$9b4e6d93@newsspool2.arcor-online.net> <7jct0noryc1v.1rnj5kkzx6m35.dlg@40tude.net> <5141c499$0$6642$9b4e6d93@newsspool2.arcor-online.net> <18r2kop6fyozu.tctrjnghfxqs.dlg@40tude.net> Mime-Version: 1.0 Injection-Date: Thu, 14 Mar 2013 16:19:37 +0000 (UTC) Injection-Info: mx05.eternal-september.org; posting-host="62d41746a3c41616ce1e9a5cd6f645e3"; logging-data="15525"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+iQdeNOMqH1/eTNw0xPcJe" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130307 Thunderbird/17.0.4 In-Reply-To: <18r2kop6fyozu.tctrjnghfxqs.dlg@40tude.net> Cancel-Lock: sha1:PcQ3G9rIe9EF7pZucyBJ0uy+cZU= X-Enigmail-Version: 1.5.1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: 2013-03-14T17:21:23+01:00 List-Id: Le 14/03/2013 15:26, Dmitry A. Kazakov a �crit : >> Because ADTs are constructs of human mapping from a model space to the >> > space of language constructs. In this case the latter is defined in Ada >> > terms. > That does not answer the question. ADT is a set of values and operations. > Please, show how Positive is different from that. > The set of values is not defined by Positive, it is defined by Integer. Positive is a name to designate a subset of these values. >> There are two problems instead: >> >> 1) to think that a subtype creates a type > > It certainly does. Positive /= Integer and the inequality here is in Ada > terms. > Ada allows assignment only if both sides are of the same type. You can assign Integer to Positive, and conversely. Therefore, Positive and Integer are the same type. qed. And please, we are talking about Ada here, not KOVOA (Kasakov's Own View of Ada). -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr