From: Simon Wright <simon@pushface.org>
Subject: Re: Is the Ada compiler of Polyspace invalid?
Date: Fri, 18 Feb 2011 16:42:38 +0000
Date: 2011-02-18T16:42:38+00:00 [thread overview]
Message-ID: <m2k4gx2t1d.fsf@pushface.org> (raw)
In-Reply-To: alpine.LNX.2.00.1102181624190.7358@Bluewhite64.example.net
Paul Colin Gloster <Colin_Paul_Gloster@ACM.org> writes:
> Julian Leyh <julian@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.
ARM 10.1.1(6)
[http://www.adaic.org/resources/add_content/standards/05rm/html/RM-10-1-1.html]
includes subprogram_declaration in library_declaration.
I assure you that this works!
next prev parent reply other threads:[~2011-02-18 16:42 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 [this message]
2011-02-18 18:04 ` Paul Colin Gloster
2011-02-18 16:43 ` Adam Beneschan
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