J'utilise gnatpp avec la commande : "gnatpp -rf -v -l2 -c4 -c3 -c2 -A0 -A1 -A2 -A3 -A4 -A5 --no-separate-is --no-separate-loop-then --separate-stmt-name -M256 "%f" -cargs -gnat12" pour mettre en forme le code source Ada (j'utilise actuellemnt l'éditeur Geany version 0.22).
Lorsque le source contient une des nouvelles instructions introduites par Ada 2012 telle que : for El of Tocm loop ... l'opération plante avec un message d'erreur concernant AN_ELEMENT_ITERATOR_SPECIFICATION"
Je précise que le code est correct, compile bien et qu'il doit bien s'agir d'une limitation du nouveau gnatpp (à moins que j'ai loupé la bonne façon de s'en servir avec Ada 2012).