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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!news.roellig-ltd.de!open-news-network.org!cyclone03.ams2.highwinds-media.com!news.highwinds-media.com!voer-me.highwinds-media.com!post01.fr7!fx35.am4.POSTED!not-for-mail
From: Chris Moore <zmower@ntlworld.com>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:31.0) Gecko/20100101 Thunderbird/31.2.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Can .ads be compiled alone?
References: <520f8f3d-b345-4ef8-ac41-ead78edde92a@googlegroups.com>
 <rP_6w.67103$7w2.45243@fx01.am4> <g677w.104412$5U6.30214@fx01.iad>
In-Reply-To: <g677w.104412$5U6.30214@fx01.iad>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Antivirus: avast! (VPS 141108-9, 08/11/2014), Outbound message
X-Antivirus-Status: Clean
Message-ID: <0Zv7w.758891$9I4.198548@fx35.am4>
NNTP-Posting-Host: 86.15.56.104
X-Complaints-To: http://netreport.virginmedia.com
X-Trace: 1415482300 86.15.56.104 (Sat, 08 Nov 2014 21:31:40 UTC)
NNTP-Posting-Date: Sat, 08 Nov 2014 21:31:40 UTC
Organization: virginmedia.com
Date: Sat, 08 Nov 2014 21:31:52 +0000
X-Received-Body-CRC: 4179027201
X-Received-Bytes: 1386
Xref: news.eternal-september.org comp.lang.ada:23087
Date: 2014-11-08T21:31:52+00:00
List-Id: <comp.lang.ada>

On 07/11/2014 17:14, Shark8 wrote:
> On 07-Nov-14 00:48, Chris Moore wrote:
>>
>> You cannot generate code from a spec.
>
> That's not /entirely/ true; in Ada 2012:
>

<sigh>  This is what I get for posting before I have coffee.



---
This email is free from viruses and malware because avast! Antivirus protection is active.
http://www.avast.com