# General **URL:** https://forum.ada-lang.io/c/general/4.md?page=3 [Latest](https://forum.ada-lang.io/latest.md) · [Categories](https://forum.ada-lang.io/categories.md) · [Tags](https://forum.ada-lang.io/tags.md) **Page:** 4 --- ## [Any problems using "extends" in a gpr file used with Alire?](https://forum.ada-lang.io/t/any-problems-using-extends-in-a-gpr-file-used-with-alire/4599)
**Author:** [@pat-rogers](https://forum.ada-lang.io/u/pat-rogers)\ **Replies:** 2\ **Last updated:** [July 30, 2026, 3:31pm UTC](https://forum.ada-lang.io/t/any-problems-using-extends-in-a-gpr-file-used-with-alire/4599 "2026-07-30T15:31:10Z")
I have a new crate that doesn’t implement two package bodies because clients are meant to do so. But because Alire won’t publish a crate that won’t compile everything successfully (IIUC), my crate provides dummy bodies (… --- ## [How did you start with AI helping to code?](https://forum.ada-lang.io/t/how-did-you-start-with-ai-helping-to-code/4592)
**Author:** [@bjorn-lundin](https://forum.ada-lang.io/u/bjorn-lundin)\ **Replies:** 11\ **Last updated:** [July 30, 2026, 11:03am UTC](https://forum.ada-lang.io/t/how-did-you-start-with-ai-helping-to-code/4592 "2026-07-30T11:03:25Z")
I just watched https://www.youtube.com/watch?v=L2ExrasTGx8 and it was very interesting. I use GPS daily, and I wonder if anyone has set it up to use AI-tools with it (and if it is possible at all) Or should I migrate t… --- ## [In Alire, how to use SPARKlib without all assertions enabled?](https://forum.ada-lang.io/t/in-alire-how-to-use-sparklib-without-all-assertions-enabled/4595)
**Author:** [@pat-rogers](https://forum.ada-lang.io/u/pat-rogers)\ **Replies:** 5\ **Last updated:** [July 29, 2026, 12:09pm UTC](https://forum.ada-lang.io/t/in-alire-how-to-use-sparklib-without-all-assertions-enabled/4595 "2026-07-29T12:09:16Z")
I have recently published my first crate (Proven\_Components) that contains a bunch of reusable packages that I’ve written over the years and updated as Ada evolved. Most are now formally proven. Proof for one of them (s… --- ## [Controlling elaboration order when Ada.Real\_Time package is used](https://forum.ada-lang.io/t/controlling-elaboration-order-when-ada-real-time-package-is-used/4593)
**Author:** [@BottCode](https://forum.ada-lang.io/u/BottCode)\ **Replies:** 6\ **Last updated:** [July 28, 2026, 8:31am UTC](https://forum.ada-lang.io/t/controlling-elaboration-order-when-ada-real-time-package-is-used/4593 "2026-07-28T08:31:24Z")
I was reading the Guide for the use of the Ada Ravenscar Profile in high integrity systems, in particular the specification of Activation\_Manager package at page 67. with Ada.Real\_Time; package Activation\_Manager is … --- ## [An unpublished Raster package was written by someone on the Ada Forum and referred to on Rosetta Code](https://forum.ada-lang.io/t/an-unpublished-raster-package-was-written-by-someone-on-the-ada-forum-and-referred-to-on-rosetta-code/4586)
**Author:** [@Ret\_Build\_Engineer](https://forum.ada-lang.io/u/Ret_Build_Engineer)\ **Replies:** 6\ **Last updated:** [July 24, 2026, 2:48pm UTC](https://forum.ada-lang.io/t/an-unpublished-raster-package-was-written-by-someone-on-the-ada-forum-and-referred-to-on-rosetta-code/4586 "2026-07-24T14:48:30Z")
an unpublished Raster package was written by someone on the Ada Forum and referred to on Rosetta Code… Did this author ever finish the package? A Rosetta Code task makes a vague reference to a package used to solve the … --- ## [Scripts for creating Ada/Algol68/etc CROSS-COMPILER for AARCH64 - Minimal Dependencies](https://forum.ada-lang.io/t/scripts-for-creating-ada-algol68-etc-cross-compiler-for-aarch64-minimal-dependencies/4590)
**Author:** [@BlueAlmost](https://forum.ada-lang.io/u/BlueAlmost)\ **Replies:** 0\ **Last updated:** [July 24, 2026, 2:44pm UTC](https://forum.ada-lang.io/t/scripts-for-creating-ada-algol68-etc-cross-compiler-for-aarch64-minimal-dependencies/4590 "2026-07-24T14:44:24Z")
I hope this may be helpful to others. Please accept my apologies its lengthiness. This post is for anyone interested in building an up-to-date gcc cross-compiler for aarch64 without having to wait for their linux distr… --- ## [Lifting your project to SPARK](https://forum.ada-lang.io/t/lifting-your-project-to-spark/4587)
**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Replies:** 1\ **Last updated:** [July 23, 2026, 8:19pm UTC](https://forum.ada-lang.io/t/lifting-your-project-to-spark/4587 "2026-07-23T20:19:13Z")
I have a rather sizeable subscription to some of the frontier LLM offerings. Some weeks I don’t get to using all of my allotted compute that is in that subscription, some of my weeks are simply more powerpoint poisoning … --- ## [Specialized unconstrained array type wherein first index MUST be ZERO?](https://forum.ada-lang.io/t/specialized-unconstrained-array-type-wherein-first-index-must-be-zero/4576)
**Author:** [@BlueAlmost](https://forum.ada-lang.io/u/BlueAlmost)\ **Replies:** 25\ **Last updated:** [July 22, 2026, 7:23pm UTC](https://forum.ada-lang.io/t/specialized-unconstrained-array-type-wherein-first-index-must-be-zero/4576 "2026-07-22T19:23:26Z")
I am writing some numerical library functions wherein the unconstrained arrays (vectors) that functions receive must be zero-index based. Passing a non-zero-based vector would sadly give a run-time error. However, there… --- ## [Gnat Studio missing project properties](https://forum.ada-lang.io/t/gnat-studio-missing-project-properties/4585)
**Author:** [@dgayler](https://forum.ada-lang.io/u/dgayler)\ **Replies:** 2\ **Last updated:** [July 21, 2026, 3:48pm UTC](https://forum.ada-lang.io/t/gnat-studio-missing-project-properties/4585 "2026-07-21T15:48:07Z")
I recently installed the newest linux version of gnatstudio and the project properties option seems to be missing. --- ## [Weirdness when building Gprbuild 25.0.0](https://forum.ada-lang.io/t/weirdness-when-building-gprbuild-25-0-0/4294)
**Author:** [@BlueAlmost](https://forum.ada-lang.io/u/BlueAlmost)\ **Replies:** 4\ **Last updated:** [July 21, 2026, 2:37pm UTC](https://forum.ada-lang.io/t/weirdness-when-building-gprbuild-25-0-0/4294 "2026-07-21T14:37:03Z")
Trying to build gprbuild via bootstrapping process. Background: On Linux, I have typically compiled gcc with ada from source. Grpbuild (25.0.0) is then built from source via the “bootstrap.sh” ( GitHub - AdaCore/gprbu… --- ## [Dispatching case statement extension](https://forum.ada-lang.io/t/dispatching-case-statement-extension/4580)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 5\ **Last updated:** [July 19, 2026, 9:59pm UTC](https://forum.ada-lang.io/t/dispatching-case-statement-extension/4580 "2026-07-19T21:59:40Z")
I have been writing a lot of very tedious and unsafe code recently. The code is related to serialization and input-output. The problem is inability to dispatch to lately, when the type is frozen. I cannot go back and red… --- ## [Alire issue with directories causing exception](https://forum.ada-lang.io/t/alire-issue-with-directories-causing-exception/4540)
**Author:** [@Lucretia](https://forum.ada-lang.io/u/Lucretia)\ **Replies:** 35\ **Last updated:** [July 17, 2026, 4:05pm UTC](https://forum.ada-lang.io/t/alire-issue-with-directories-causing-exception/4540 "2026-07-17T16:05:16Z")
Has anyone seen this? $ alr index --reset-community Cloning into '/home/laguest/.config//alire/indexes/community/repo'... remote: Enumerating objects: 15702, done. remote: Counting objects: 100% (90/90), done. remote: C… --- ## [\[HOWTO\] Easily add unit tests to an Alire crate](https://forum.ada-lang.io/t/howto-easily-add-unit-tests-to-an-alire-crate/4564)
**Author:** [@Seirios](https://forum.ada-lang.io/u/Seirios)\ **Replies:** 12\ **Last updated:** [July 15, 2026, 5:09pm UTC](https://forum.ada-lang.io/t/howto-easily-add-unit-tests-to-an-alire-crate/4564 "2026-07-15T17:09:58Z")
Hi! I recently found myself finding out how to do this once again, so I decided to write it down and share it here :slight\_smile: \*Replace \ below with the name of your main crate. Set up testing in a sub-c… --- ## [Visibility rules. Variables against procedures (functions, literals, packages)](https://forum.ada-lang.io/t/visibility-rules-variables-against-procedures-functions-literals-packages/4573)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 8\ **Last updated:** [July 14, 2026, 3:08pm UTC](https://forum.ada-lang.io/t/visibility-rules-variables-against-procedures-functions-literals-packages/4573 "2026-07-14T15:08:20Z")
Consider the following: procedure Test is package P1 is procedure F; end P1; package body P1 is procedure F is begin null; end F; end P1; package P2 is F : Boolean :… --- ## [Pleased with improvements to VSCode plugin and/or adalang server](https://forum.ada-lang.io/t/pleased-with-improvements-to-vscode-plugin-and-or-adalang-server/4572)
**Author:** [@cantanima](https://forum.ada-lang.io/u/cantanima)\ **Replies:** 0\ **Last updated:** [July 13, 2026, 2:37pm UTC](https://forum.ada-lang.io/t/pleased-with-improvements-to-vscode-plugin-and-or-adalang-server/4572 "2026-07-13T14:37:41Z")
I wanted to express appreciation for recent improvements made to the VSCode plugin for Ada, which probably include improvements to the adalang server as well. For example, typing an undefined symbol (e.g., undeclared va… --- ## [Successfully created gcc16.1.0 cross compiler for aarch64 from source](https://forum.ada-lang.io/t/successfully-created-gcc16-1-0-cross-compiler-for-aarch64-from-source/4565)
**Author:** [@BlueAlmost](https://forum.ada-lang.io/u/BlueAlmost)\ **Replies:** 3\ **Last updated:** [July 11, 2026, 11:32am UTC](https://forum.ada-lang.io/t/successfully-created-gcc16-1-0-cross-compiler-for-aarch64-from-source/4565 "2026-07-11T11:32:08Z")
Hello All, Recently I have been struggling with trying to create from source a working gnat compiler for aarch64 using gcc 16.1.0. By digging through a variety of web/forum postings I created 9 simple (but perhaps ugly… --- ## [Issue on gnat compiler](https://forum.ada-lang.io/t/issue-on-gnat-compiler/4544)
**Author:** [@kgenz](https://forum.ada-lang.io/u/kgenz)\ **Replies:** 9\ **Last updated:** [July 11, 2026, 7:00am UTC](https://forum.ada-lang.io/t/issue-on-gnat-compiler/4544 "2026-07-11T07:00:40Z")
Hi, according to Barnes’ Ada 2022 book and http://www.ada-auth.org/standards/22rm\_w\_amd1/html/RM-3-8.html the syntax type A is record … end record A; is allowed since Ada 2022, but setting Pragma Ada\_2022 on my pac… --- ## [Alire + AUnit + VSCode workflow](https://forum.ada-lang.io/t/alire-aunit-vscode-workflow/4556)
**Author:** [@ptihanyi](https://forum.ada-lang.io/u/ptihanyi)\ **Replies:** 7\ **Last updated:** [July 10, 2026, 6:59am UTC](https://forum.ada-lang.io/t/alire-aunit-vscode-workflow/4556 "2026-07-10T06:59:36Z")
Hello! I would like to ask for your help on how to use the “tests” project generated by Alire? Or how to use it RIGHT? I am a beginner in Ada programming but I am already quite good at creating simpler programs. I woul… --- ## [Scope of a use clause in the package spec](https://forum.ada-lang.io/t/scope-of-a-use-clause-in-the-package-spec/4555)
**Author:** [@RREE](https://forum.ada-lang.io/u/RREE)\ **Replies:** 4\ **Last updated:** [July 8, 2026, 3:47pm UTC](https://forum.ada-lang.io/t/scope-of-a-use-clause-in-the-package-spec/4555 "2026-07-08T15:47:42Z")
I have a (with and) use clause in a package spec of requests.ads. There is only a with clause in the package body. I know that it is redundant but I like to see the dependencies of the body without opening the spec file.… --- ## [Updated list of Ada compilers](https://forum.ada-lang.io/t/updated-list-of-ada-compilers/1099)
**Author:** [@RDR](https://forum.ada-lang.io/u/RDR)\ **Replies:** 19\ **Last updated:** [July 8, 2026, 6:12am UTC](https://forum.ada-lang.io/t/updated-list-of-ada-compilers/1099 "2026-07-08T06:12:19Z")
We need an updated list of sources for Ada compilers. I know we have AdaCore and PLT. One of my clients uses Green Hills for embedded avionics. I am pretty sure Randy still supports Janus Ada. Dan Eiler’s seems to … --- ## [Ada on FreeBSD - new community](https://forum.ada-lang.io/t/ada-on-freebsd-new-community/4547)
**Author:** [@saper](https://forum.ada-lang.io/u/saper)\ **Replies:** 1\ **Last updated:** [July 5, 2026, 10:07am UTC](https://forum.ada-lang.io/t/ada-on-freebsd-new-community/4547 "2026-07-05T10:07:40Z")
A group of people interested in porting Ada software to FreeBSD has now a mailing list: We also have a wiki page and a preliminary list of tasks: If you are interested in FreeBSD support and/or would like to improv… --- ## [Why do you keep using Ada?](https://forum.ada-lang.io/t/why-do-you-keep-using-ada/3799)
**Author:** [@SabeDoesThings](https://forum.ada-lang.io/u/SabeDoesThings)\ **Replies:** 37\ **Last updated:** [July 3, 2026, 7:26pm UTC](https://forum.ada-lang.io/t/why-do-you-keep-using-ada/3799 "2026-07-03T19:26:45Z")
Hey everyone! I’ve been using Ada for over a month now and I’ve been really enjoying and I wanted to connect more with the Ada community so I wanted to ask. How long have YOU been using Ada and what do you like about? I’… --- ## [Gnat Studio on Linux "Go To Declaration" doesn't always navigate to the right line](https://forum.ada-lang.io/t/gnat-studio-on-linux-go-to-declaration-doesnt-always-navigate-to-the-right-line/4543)
**Author:** [@kevlar700](https://forum.ada-lang.io/u/kevlar700)\ **Replies:** 2\ **Last updated:** [July 3, 2026, 1:51pm UTC](https://forum.ada-lang.io/t/gnat-studio-on-linux-go-to-declaration-doesnt-always-navigate-to-the-right-line/4543 "2026-07-03T13:51:29Z")
A percentage of the time “Go To Declaration” doesn’t actually land on the type but somewhere else in the file. A quick back and try again seems to work. Can anyone confirm that it’s the same for them? --- ## [Ada SPARK Office Hours](https://forum.ada-lang.io/t/ada-spark-office-hours/4403)
**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Replies:** 15\ **Last updated:** [July 2, 2026, 5:41pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours/4403 "2026-07-02T17:41:54Z")
Hello, The community already operates a very active Monthly Meetup, typically during the weekend. Very worthwhile to attend if you have not done so, last one was in April and I have not seen the announcement for May yet… --- ## [\[Alire\] Which rp2040 runtime?](https://forum.ada-lang.io/t/alire-which-rp2040-runtime/4051)
**Author:** [@Lucretia](https://forum.ada-lang.io/u/Lucretia)\ **Replies:** 14\ **Last updated:** [June 30, 2026, 11:05am UTC](https://forum.ada-lang.io/t/alire-which-rp2040-runtime/4051 "2026-06-30T11:05:47Z")
I bought an el cheapo rp2040 pico board (probably a clone) from ali (16MB variant is probably overkill) because it was cheap. I dug out the parts of a broken Kawai ES110 I bought to see if i could find out what’s wrong … --- ## [Disclosure of incorporation of LLM outputs in (e.g., Alire-indexed) projects](https://forum.ada-lang.io/t/disclosure-of-incorporation-of-llm-outputs-in-e-g-alire-indexed-projects/4510)
**Author:** [@waleedmebane](https://forum.ada-lang.io/u/waleedmebane)\ **Replies:** 28\ **Last updated:** [June 30, 2026, 7:25am UTC](https://forum.ada-lang.io/t/disclosure-of-incorporation-of-llm-outputs-in-e-g-alire-indexed-projects/4510 "2026-06-30T07:25:19Z")
There are currently some open-source projects banning or restricting the contribution of code containing LLM outputs or requiring disclosure of its presence in such contributions. See Zig and OpenJDK for bans, and Linux … --- ## [Lack of entry calls in the Distributed System Annex](https://forum.ada-lang.io/t/lack-of-entry-calls-in-the-distributed-system-annex/4513)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 14\ **Last updated:** [June 25, 2026, 3:54pm UTC](https://forum.ada-lang.io/t/lack-of-entry-calls-in-the-distributed-system-annex/4513 "2026-06-25T15:54:14Z")
No timed entry calls on the client side or selective accepts on the server’s one? These look like the most obvious thing. Yet ARM E.2.3 (11.a/2) says: We disallow the declaration of task and protected types, since call… --- ## [How to easily use AI Skills with your Ada projects](https://forum.ada-lang.io/t/how-to-easily-use-ai-skills-with-your-ada-projects/4442)
**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Replies:** 24\ **Last updated:** [June 22, 2026, 7:17pm UTC](https://forum.ada-lang.io/t/how-to-easily-use-ai-skills-with-your-ada-projects/4442 "2026-06-22T19:17:01Z")
Hello, Quick comment: If you are using LLMs in your Ada projects, have a look at GitHub - AdaCore/skills · GitHub. In some LLMs (Claude and Cursor for sure, I could not figure out how to do it in Codex) you can give a… --- ## [Implementing ZFP runtime](https://forum.ada-lang.io/t/implementing-zfp-runtime/4507)
**Author:** [@SadClouds](https://forum.ada-lang.io/u/SadClouds)\ **Replies:** 14\ **Last updated:** [June 19, 2026, 4:02pm UTC](https://forum.ada-lang.io/t/implementing-zfp-runtime/4507 "2026-06-19T16:02:29Z")
I was looking at The predefined profiles in order to understand the difference between Ada runtimes and profiles. I would like to ask a few basic questions: Am I correct in thinking that a particular Ada runtime could … --- ## [Polyorb/DSA Bug Fixes](https://forum.ada-lang.io/t/polyorb-dsa-bug-fixes/4509)
**Author:** [@charlie5](https://forum.ada-lang.io/u/charlie5)\ **Replies:** 3\ **Last updated:** [June 18, 2026, 8:14pm UTC](https://forum.ada-lang.io/t/polyorb-dsa-bug-fixes/4509 "2026-06-18T20:14:31Z")
Hello all, Given the end of life status of Polyorb, I’ve forked the project and fixed a few problems I encountered during the development of an experimental multiplayer game which uses DSA. The problems fixed so far ar… [Previous page](https://forum.ada-lang.io/c/general/4.md?page=2) [Next page](https://forum.ada-lang.io/c/general/4.md?page=4)