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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,6aa1ec264ce25142
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.72.73 with SMTP id b9mr803868pav.9.1346981005397;
        Thu, 06 Sep 2012 18:23:25 -0700 (PDT)
Path: 
 t10ni3704330pbh.0!nntp.google.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!border2.nntp.ams.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!newsreader4.netcologne.de!news.netcologne.de!newsfeed.straub-nv.de!news-1.dfn.de!news.dfn.de!news.uni-weimar.de!not-for-mail
From: stefan-lucks@see-the.signature
Newsgroups: comp.lang.ada
Subject: Re: Real syntax problems in Ada
Date: Wed, 29 Aug 2012 19:52:54 +0200
Organization: Bauhaus-Universitaet Weimar
Message-ID: <Pine.LNX.4.64.1208291952280.28964@medsec1.medien.uni-weimar.de>
References: <1p5r39cusgc1n$.18nj9sytckk6$.dlg@40tude.net>
 <289703e7-1fba-41ce-b781-9e58ff2ec7df@googlegroups.com>
 <1w3xr2kbz8a19$.wpfoz4p1j1sb.dlg@40tude.net> <k1jdol$id7$1@munin.nbi.dk>
 <a7fajtasftcd.wpdq5ukic2ny.dlg@40tude.net>
 <Pine.LNX.4.64.1208291146070.20257@medsec1.medien.uni-weimar.de>
 <aa6itiFh6fU1@mid.individual.net>
Reply-To: stefan-lucks@see-the.signature
NNTP-Posting-Host: medsec1.medien.uni-weimar.de
Mime-Version: 1.0
X-Trace: tigger.scc.uni-weimar.de 1346266037 15776 141.54.178.228 (29 Aug 2012
 18:47:17 GMT)
X-Complaints-To: news@tigger.scc.uni-weimar.de
NNTP-Posting-Date: Wed, 29 Aug 2012 18:47:17 +0000 (UTC)
X-X-Sender: lucks@medsec1.medien.uni-weimar.de
In-Reply-To: <aa6itiFh6fU1@mid.individual.net>
Content-Type: TEXT/PLAIN; charset=US-ASCII
Date: 2012-08-29T19:52:54+02:00
List-Id: <comp.lang.ada>

On Wed, 29 Aug 2012, Niklas Holsti wrote:

> If Ada syntax is changed to put the name of the generic unit before the
> formal parameters, I should want to require "with" before every generic
> formal, and all within a single set of parentheses. Like this:
> 
>    generic function Minimum (
>       with type Item is private;
>       with type Many_Items is array (Natural range <>) of Item;
>       with function "<" (Left, Right : Item) return Boolean is <>;
>       List : Many_Items)
>    return Item;

Actually, I woud like that. 

> But as I said, I much prefer the current syntax.

Alas ...

-- 
---- Stefan.Lucks (at) uni-weimar.de, University of Weimar, Germany  ----
    <http://www.uni-weimar.de/cms/medien/mediensicherheit/home.html>
------  I  love  the  taste  of  Cryptanalysis  in  the  morning!  ------