自動生成された Ada コードには次の行があります。
for digit in reverse 0 .. 1 loop
...
end loop;
これにより、ブヨ ada が次のように出力されます。
sourcefile.adb:79:41: 警告: ループ範囲が null である可能性があります
sourcefile.adb:79:41: 警告: 境界が間違っている可能性があります
私が望むのは、ループが digit = 1 の次に digit = 0 で実行されることですが、0..1はnull 範囲であるため、それを逆にしても null 範囲になりますよね? またはそれは ？