From: Adam Beneschan <adam@irvine.com>
Subject: Re: Is the Ada compiler of Polyspace invalid?
Date: Fri, 18 Feb 2011 08:43:12 -0800 (PST)
Date: 2011-02-18T08:43:12-08:00 [thread overview]
Message-ID: <542ae3ad-acec-419b-9d71-8b6e73f02247@j9g2000prj.googlegroups.com> (raw)
In-Reply-To: alpine.LNX.2.00.1102181624190.7358@Bluewhite64.example.net
On Feb 18, 8:27 am, Paul Colin Gloster <Colin_Paul_Glos...@ACM.org>
wrote:
> Julian Leyh <jul...@VGAI.De> sent on February 18th, 2011:
> |-------------------------------------------------------------|
> |"Hi, |
> | |
> |I have some Ada code, which I would like to try Polyspace on.|
> | |
> |It contains something like this (simplified): |
> | |
> |foo.ads: |
> |procedure foo; |
> | |
> |foo.adb: |
> |procedure foo is |
> |... |
> |end foo; |
> | |
> |somewhere else: |
> |with foo;" |
> |-------------------------------------------------------------|
>
> Hi,
>
> Do you really have something like that? You cannot WITH a procedure.
Yes, you can, if it's a library unit.
-- Adam
next prev parent reply other threads:[~2011-02-18 16:43 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-02-18 8:58 Is the Ada compiler of Polyspace invalid? Julian Leyh
2011-02-18 9:40 ` Martin
2011-02-21 8:32 ` Julian Leyh
2011-02-21 15:54 ` Adam Beneschan
2011-02-18 16:27 ` Paul Colin Gloster
2011-02-18 16:42 ` Simon Wright
2011-02-18 18:04 ` Paul Colin Gloster
2011-02-18 16:43 ` Adam Beneschan [this message]
2011-02-18 17:08 ` Martin
2011-02-18 16:50 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox