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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,2e6723b897ab47fb X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 Received: by 10.216.138.27 with SMTP id z27mr674830wei.13.1344848994553; Mon, 13 Aug 2012 02:09:54 -0700 (PDT) Path: q11ni106967840wiw.1!nntp.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!news-feed.eu.lambdanet.net!texta.sil.at!news.mixmin.net!aioe.org!.POSTED!not-for-mail From: "Vasiliy Molostov" Newsgroups: comp.lang.ada Subject: Re: Ada.Locales pseudo-string types Date: Tue, 07 Aug 2012 05:17:44 +0400 Organization: None Message-ID: References: <78707b6e-88a3-453a-a37c-840f7a62e703@googlegroups.com> <7303f906-0f6a-4d97-ae15-36b4056ede6c@googlegroups.com> NNTP-Posting-Host: Xw13RWgh8yxgPSv0x3+H9w.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/12.01 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable Date: 2012-08-07T05:17:44+04:00 List-Id: Adam Beneschan =D0=BF=D0=B8=D1=81=D0=B0=D0=BB(=D0=B0) = =D0=B2 =D1=81=D0=B2=D0=BE=D1=91=D0=BC =D0=BF=D0=B8=D1=81=D1=8C=D0=BC=D0=B5= Tue, 07 Aug 2012 = 03:46:37 +0400: >> Sorry my mistake - subtype of string I meant. > > Making the two types subtypes of String means that you cannot put a = > constraint on the component subtype. So if we assume that they really= = > want the range constraints 'A'..'Z' and 'a'..'z', the types can't be = > made subtypes of String. >> >> The workaround here can be done via 'image() attribute since it alway= s >> return string > > If you mean something like Language_Code'Image(L) or = > Country_Code'Image(C), that's not legal. 'Image is defined only for = > scalar types, not array types. yep. seems to me I am out of order today. -- = =D0=9D=D0=B0=D0=BF=D0=B8=D1=81=D0=B0=D0=BD=D0=BE =D0=B2 =D0=BF=D0=BE=D1=87= =D1=82=D0=BE=D0=B2=D0=BE=D0=BC =D0=BA=D0=BB=D0=B8=D0=B5=D0=BD=D1=82=D0=B5= =D0=B1=D1=80=D0=B0=D1=83=D0=B7=D0=B5=D1=80=D0=B0 Opera: http://www.oper= a.com/mail/