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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,39579ad87542da0e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
X-Received: by 10.180.75.133 with SMTP id c5mr2942098wiw.2.1369279610796;
        Wed, 22 May 2013 20:26:50 -0700 (PDT)
MIME-Version: 1.0
Path: 
 fw11ni1152wic.0!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.108.MISMATCH!feeder2.cambriumusenet.nl!feed.tweaknews.nl!194.109.133.86.MISMATCH!newsfeed.xs4all.nl!newsfeed3.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!news.panservice.it!news.stack.nl!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Seeking for papers about tagged types vs access to subprograms
Date: Thu, 16 May 2013 18:27:16 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <kn3q0l$c86$1@loke.gir.dk>
References: <op.wv8jh1c1ule2fv@cardamome> <op.wwnp2zkrule2fv@cardamome>
 <u3jaslg5kca7.1gk5ds3d4sx2y$.dlg@40tude.net> <op.wwnsmtteule2fv@cardamome>
 <17ceq51ydy3s0.s94miqqzbg5w.dlg@40tude.net> <op.wwny5jerule2fv@cardamome>
 <1vrhb7oc4qbob$.q02vuouyovp5$.dlg@40tude.net> <op.wwn4oak8ule2fv@cardamome>
 <19lrzzbgm77v6.1dzpgqckptaj6.dlg@40tude.net> <kmbohm$elb$1@loke.gir.dk>
 <p0pf97g5w6xg.jhca6ztjwpde$.dlg@40tude.net> <kmebjm$eds$1@loke.gir.dk>
 <1bp6zlpetr5l4.12a9zcd1x3yya.dlg@40tude.net> <kmh5a3$sfb$1@loke.gir.dk>
 <1jc46ynzptlxm.1fafjhr8hlblq.dlg@40tude.net> <kmk278$t5m$1@loke.gir.dk>
 <bkozr3g5i0hk$.15qnfap6hrj20$.dlg@40tude.net> <kms9f4$b2s$1@loke.gir.dk>
 <1wzphazeho17m$.zy00zh7l7yu5$.dlg@40tude.net> <kmu1oa$60k$1@loke.gir.dk>
 <op.ww3ze4ejule2fv@cardamome>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1368746837 12550 69.95.181.76 (16 May 2013 23:27:17 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 16 May 2013 23:27:17 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Date: 2013-05-16T18:27:16-05:00
List-Id: <comp.lang.ada>

"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message 
news:op.ww3ze4ejule2fv@cardamome...
>Le Tue, 14 May 2013 21:02:32 +0200, Randy Brukardt <randy@rrsoftware.com>
a �crit:
>> If the prototype implementation were to show only minor
>> incompatibilities when processing existing Ada code (including the ACATS,
>> AdaCore test suite,
>
>AdaCore test suite? If that exist, that must be not public.

Right, it's not public (I'm told it includes propriarty code of AdaCore 
customers). My point is that a prototype would have to perform well on any 
and all existing Ada code (whether it knew about it ahead of time or not) in 
order to "pass". It's not just about passing public test suites.

                            Randy.