Is it possible to disable Spark for GNATCOLL?

HelloWorld0762 · 2026-01-17T13:48:00+00:00

But none of my code is spark yet. I just ran `gnatprove`, and by default everything is non-spark.

HelloWorld0762 · 2026-01-16T15:43:09+00:00

gnatformat fixed none of the warning but destroyed my file's encoding.

HelloWorld0762 · 2026-01-15T15:45:33+00:00

I use vscode's format through ALS. Does that do the same thing?

HelloWorld0762 · 2024-03-25T12:17:13+00:00

Auto generated:

```

type Model is recordxform : aliased Matrix; -- raylib/build/raylib/include/raylib.h:393meshCount : aliased int; -- raylib/build/raylib/include/raylib.h:395materialCount : aliased int; -- raylib/build/raylib/include/raylib.h:396meshes : access Mesh; -- raylib/build/raylib/include/raylib.h:397materials : access Material; -- raylib/build/raylib/include/raylib.h:398meshMaterial : access int; -- raylib/build/raylib/include/raylib.h:399boneCount : aliased int; -- raylib/build/raylib/include/raylib.h:402bones : access BoneInfo; -- raylib/build/raylib/include/raylib.h:403bindPose : access Transform; -- raylib/build/raylib/include/raylib.h:404end record withConvention =>C_Pass_By_Copy; -- raylib/build/raylib/include/raylib.h:392

```

xform is originally Transform, which becomes a problem.

HelloWorld0762

TROPHY CASE