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 autolearn=ham
	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
Received: by 10.224.39.75 with SMTP id f11mr6988515qae.8.1346580998711;
        Sun, 02 Sep 2012 03:16:38 -0700 (PDT)
Received: by 10.236.184.196 with SMTP id s44mr1140118yhm.16.1346580998682;
 Sun, 02 Sep 2012 03:16:38 -0700 (PDT)
Path: 
 da15ni7637554qab.0!nntp.google.com!b19no319170qas.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 2 Sep 2012 03:16:38 -0700 (PDT)
In-Reply-To: <fbps38pgcuf8fgioptt39s6u7dme1aqs7r@invalid.netcom.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=81.36.137.133;
 posting-account=yPsdvgkAAADGfcYDd3foYffwSx3YiYnu
NNTP-Posting-Host: 81.36.137.133
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>
 <fbps38pgcuf8fgioptt39s6u7dme1aqs7r@invalid.netcom.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <11e8cf55-717b-4616-a4a1-b717d8695615@googlegroups.com>
Subject: Re: Real syntax problems in Ada
From: svaa@ciberpiula.net
Injection-Date: Sun, 02 Sep 2012 10:16:38 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Date: 2012-09-02T03:16:38-07:00
List-Id: <comp.lang.ada>

El mi=E9rcoles, 29 de agosto de 2012 20:59:12 UTC+2, Dennis Lee Bieber  esc=
ribi=F3:
> 	generic function Minimum(List: Many_Items) return Item WHERE
> 		type Item is private;
> 		type Many_Items is array(Natural range <>) of Item;
> 		function "<" (Left, Right: Item) return Boolean is <>;
> 	end generic;
>=20
Yeah, that's the write one.
And
=20
  Generic Package foo=20
     WHERE
       type type_item is private;
       .....
     end generic
    function foo(item: Type_item)....

Or something like that.

I don't thing compiler back-tracking is such a big deal.