blob: e5a07424a552313d15417ae1e4bbe95dfd92d5dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
-- { dg-do compile }
pragma Restrictions (No_Streams);
with Ada.Containers.Ordered_Maps;
package No_Streams is
type Arr is new String (1..8);
package My_Ordered_Map is new Ada.Containers.Ordered_Maps
(Key_Type => Natural, Element_Type => Arr);
end No_Streams;
|