ちまちまRationale読んでましたが、折角incomplete typeがgenericの引数に取れるようになったのにAda.Containersは相変わらず
type Element is private;
とか
type Element (<>) is private;
で役立たずなんですが…サイズ確定しないからしょうがないのかな…でもindefiniteの方はサイズ不定だよな…なんか理由があるのでしょう、多分。
読んでいた時は一人で某外人4コマをやったような気分でした。
まぁgcc 4.8.2だとそもそも引数に渡す時点でエラーになるのでどうしようもなかったりします。
2012がデフォルトになるらしい4.9系列ではきっと上手くやってくれるでしょう。きっと。
