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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.58.171.135 with SMTP id au7mr5372947vec.22.1393479525065; Wed, 26 Feb 2014 21:38:45 -0800 (PST) X-Received: by 10.182.115.134 with SMTP id jo6mr60694obb.6.1393479524780; Wed, 26 Feb 2014 21:38:44 -0800 (PST) Path: border1.nntp.dca.giganews.com!nntp.giganews.com!m5no3047383qaj.1!news-out.google.com!h8ni3igy.0!nntp.google.com!uq10no774685igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 26 Feb 2014 21:38:44 -0800 (PST) In-Reply-To: <376f729d-2883-4b28-82fa-9a24420e5e6e@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=97.123.201.137; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 97.123.201.137 References: <376f729d-2883-4b28-82fa-9a24420e5e6e@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <766d893a-612e-4577-90cc-014cdf630cfe@googlegroups.com> Subject: Re: subtype of System.Address type From: Shark8 Injection-Date: Thu, 27 Feb 2014 05:38:44 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: number.nntp.dca.giganews.com comp.lang.ada:185093 Date: 2014-02-26T21:38:44-08:00 List-Id: GNAT has the following public definition for System.Address: type Address is private; This means that your code doesn't know that the actual implementation is: type Address is mod Memory_Size; And therefore you cannot assign a universal-integer to Address. {Because you, as a client of System, cannot depend on its implementation-details.}