Alejandro R Mosteo
Alejandro R Mosteo
``` json-streams.ads:32:29: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:32:29: error: launch "gnatprove --explain=E0015" for more information ```
> I don't understand why there is even a 1.3.0 branch at all. Hi Tama. That's because the versioning of the index and of Alire aren't the same. The latest...
Hi @TamaMcGlinn, I've re-run the tests with updated Docker images and our latest alr release and there are no issues remaining, so I'm merging this PR. Thanks for the patience.
> do I need to close this and make a new release, or is there a way to amend the release? You can edit on the branch and push commits...
@gtnoble is it then just a matter of removing the dependency on aunit? I can do that if that's the only thing needed.
Is this report hand-crafted, or generated with the help of some tool?
I don't doubt the bug, but I'm wary of the many suggestions and recommendations. No matter, it's just to adjust my critical reading.
Alire uses a mix of GNATCOLL, `Ada.Directories` and the `den` library, so it doesn't have to be GNATCOLL necessarily. We don't assume anything is just ASCII or Latin-1, and I'm...
The problem there is that (assuming `-gnatW8`) your `String` stores your literal as Latin-1. So even if your source file is Unicode, a plain `String` is reencoded as Latin-1, as...
Dependencies on tested compilers for "just in case" future breakage are the safest bet, but IMHO too restrictive; that will soon split which libraries can be used together as newer...