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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,6aa1ec264ce25142 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Received: by 10.68.241.169 with SMTP id wj9mr2878230pbc.0.1346153591287; Tue, 28 Aug 2012 04:33:11 -0700 (PDT) Path: a8ni75122869pbd.1!nntp.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Real syntax problems in Ada Date: Tue, 28 Aug 2012 13:33:08 +0200 Organization: A noiseless patient Spider Message-ID: References: <1p5r39cusgc1n$.18nj9sytckk6$.dlg@40tude.net> Mime-Version: 1.0 Injection-Date: Tue, 28 Aug 2012 11:33:08 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="da91dd38436bbbf5b448e21e8f29aa94"; logging-data="30551"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+yCVEzmvSHQ18udGUv9sEO" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:14.0) Gecko/20120713 Thunderbird/14.0 In-Reply-To: Cancel-Lock: sha1:TaWxy8tUQXyppph6nzGRSKrQqbg= X-Enigmail-Version: 1.4.3 X-Received-Bytes: 1638 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: 2012-08-28T13:33:08+02:00 List-Id: Le 28/08/2012 12:47, Niklas Holsti a �crit : >> 3. "task type" and "protected type" instead of "type T is task ..."; > Neutral. I don't much mind the asymmetry, although I don't see any good > reason for it. > The reason is to have singleton tasks and task types look the same: task Single is.... task type Many is... -- 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