gnatpp: Missing space when character is combined with a unicode "Nonspacing Mark"

[ThyMYthOS]

Nonspacing marks: https://www.compart.com/en/unicode/category/Mn

Actual (gnatpp 24.0.0):

package Test is
   A  : Integer;
   Ω0 : Float;
   Ω̇ : Float;
end Test;

Expected:

package Test is
   A  : Integer;
   Ω0 : Float;
   Ω̇  : Float;
end Test;

[joaopsazevedo]

Hello @ThyMYthOS.

AdaCore now provides a new formatter GNATformat, currently in beta. This will supersede GNATpp when leaving the beta program.

Beta mostly means that the formatting style will have some changes during the next year, until a consensus is reach. Feel free to give it a try and provide feedback, both bug reports and style issues.

Currently, the biggest known issue is on comments in some specific location, such as inside binary operations. For example:

A.B
--  Comment
and C

Other than that, it is expected to work correctly.

Due to our current efforts being mostly on GNATformat, it's unlikely that the reported issue will be fixed in gnatpp.

GNATformat handles your example corretly though:

$ gnatformat --charset utf-8 --pipe test.ads
package Test is
   A  : Integer;
   Ω0 : Float;
   Ω̇  : Float;
end Test;

Note that currently --charset utf-8 is needed, but, if you have a GPR project file, we plan to infer the character encoding from it in the near future.

[ThyMYthOS]

@joaopsazevedo thanks for your hint. Will gnatformat be available on alire (soon)?