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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,df055ffdd469757d X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.66.88.200 with SMTP id bi8mr2160539pab.13.1361213156023; Mon, 18 Feb 2013 10:45:56 -0800 (PST) X-Received: by 10.50.53.166 with SMTP id c6mr1610334igp.12.1361213155942; Mon, 18 Feb 2013 10:45:55 -0800 (PST) Path: ov8ni9pbb.1!nntp.google.com!su1no13600496pbb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 18 Feb 2013 10:45:55 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=123.224.148.173; posting-account=Mi71UQoAAACnFhXo1NVxPlurinchtkIj NNTP-Posting-Host: 123.224.148.173 References: <76e9fde1-3cbb-47e0-b578-b7b9be3ff9c6@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Class wide preconditions: error in GNAT implementation? From: ytomino Injection-Date: Mon, 18 Feb 2013 18:45:55 +0000 Content-Type: text/plain; charset=ISO-8859-1 Date: 2013-02-18T10:45:55-08:00 List-Id: On Tuesday, February 19, 2013 2:49:58 AM UTC+9, Simon Wright wrote: > Exactly so; both calls should have failed. That is so. Thank you! (Honestly, like timon.gehr and others did, I expected that it's more hard to have someone understand this. My fear was utterly groundless.)