comp.lang.ada
 help / color / mirror / Atom feed
From: hugues@soekris-1.pinkyoogx.org
Subject: Re: SPARK GPL 2012 and generic, any hint?
Date: 09 Jul 2012 06:51:20 GMT
Date: 2012-07-09T08:51:20+02:00	[thread overview]
Message-ID: <slrnjvkvr8.ts6.hugues@soekris-1.pinkyoogx.org> (raw)
In-Reply-To: MPG.2a639e787bfb664898969b@news.zen.co.uk

On 2012-07-08, Phil Thornley <phil.jpthornley@gmail.com> wrote:

> The instantion check isn't supported yet, and the subprogram must be at 
> library level.
>
> The following code examines OK:

Thanks, that makes sense to me now. I seldom use library-level subprograms,  
hence my miss

Regards,




      reply	other threads:[~2012-07-09  6:51 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-07-08 10:17 SPARK GPL 2012 and generic, any hint? hugues
2012-07-08 15:31 ` Phil Thornley
2012-07-09  6:51   ` hugues [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox