SPARK instantiation error w.r.t. volatile type

Looks as though you’re instantiating the generic within your Main. This is not ‘at library level’.

Instantiate as a library level package, should work better. This needs to go in a file (in this case) my_util_pool.ads:

with Util.Pool;
package My_Util_Pool is new Util.Pool (Integer);

main.adb now starts

with My_Util_Pool;
with ...;
procedure Main is
   ...

CLICK HERE to find out more related problems solutions.

Leave a Comment

Your email address will not be published.

Scroll to Top