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.7 required=5.0 tests=BAYES_00,DATE_IN_PAST_24_48,
	FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,d5b211b0c1ffcf3e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.191.225 with SMTP id hb1mr3287228pbc.5.1339700360542;
        Thu, 14 Jun 2012 11:59:20 -0700 (PDT)
Path: 
 l9ni50837pbj.0!nntp.google.com!news1.google.com!news2.google.com!goblin1!goblin.stu.neva.ru!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 13 Jun 2012 12:14:15 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:12.0) Gecko/20120428 Thunderbird/12.0.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Practicalities of Ada for app development
References: <f214ca96-cb72-4171-b952-32c19f6d0d7c@googlegroups.com>
 <f0203f8d31f75a88dab13832de823f5e@dizum.com>
 <89e137c8-45b1-48a3-8d15-3a15d8796af0@googlegroups.com>
 <4fd85162$0$9515$9b4e6d93@newsspool1.arcor-online.net>
In-Reply-To: <4fd85162$0$9515$9b4e6d93@newsspool1.arcor-online.net>
Message-ID: <4fd867f9$0$9520$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 13 Jun 2012 12:14:17 CEST
NNTP-Posting-Host: dee5dbf2.newsspool1.arcor-online.net
X-Trace: 
 DXC=MCg\V8[ij[Hgj[ZPFj7ehOic==]BZ:afN4Fo<]lROoRAnkgeX?EC@@@hXZIWVe1=PLnc\616M64>JLh>_cHTX3jM@0RoN;NnQCH
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2012-06-13T12:14:17+02:00
List-Id: <comp.lang.ada>

On 13.06.12 10:37, Georg Bauhaus wrote:

> For example, given (ABC|BCD)E, and a function "&" returning
> a pattern type,
> 
>   Alternation'(To_Set ("ABC") & To_Set ("BCD"))
>      & To_Pattern ("E");

Correction:
   Alternation'(To_Pattern ("ABC") & To_Pattern ("BCD"))