From: Mark Wilson <markwilson@wilsonnet.technology>
Subject: Re: Odd Behaviour
Date: Tue, 18 Jan 2022 04:30:07 -0800 (PST) [thread overview]
Message-ID: <d6269d17-f55d-4838-93ce-79ab2a0144f9n@googlegroups.com> (raw)
In-Reply-To: <ss6bjn$7dl$1@dont-email.me>
>
> You should be able to work around this by making your procedure a wrapper around
> an imported function with an in out parameter, with SPARK checking turned off in
> the procedure body.
> --
I think that has to be plan.
I'll actually do it by specifying the 'raw' imports in an Ada spec, then import that into a Spark body keeping it clean and simple.
prev parent reply other threads:[~2022-01-18 12:30 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-01-18 11:05 Odd Behaviour Mark Wilson
2022-01-18 11:16 ` Marius Amado-Alves
2022-01-18 11:21 ` Mark Wilson
2022-01-18 11:24 ` Mark Wilson
2022-01-18 11:28 ` Jeffrey R.Carter
2022-01-18 11:35 ` Mark Wilson
2022-01-18 11:48 ` Jeffrey R.Carter
2022-01-18 11:51 ` Mark Wilson
2022-01-18 12:08 ` Mark Wilson
2022-01-18 12:18 ` Mark Wilson
2022-01-18 12:27 ` Mark Wilson
2022-01-18 13:50 ` Mark Wilson
2022-01-18 12:25 ` Jeffrey R.Carter
2022-01-18 12:30 ` Mark Wilson [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