OSDN Git Service

gcc/ada/
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gnat.dg / specs / delta_small.ads
1 -- { dg-do compile }
2
3 package Delta_Small is
4    type T is delta 0.1 range -0.8 .. 0.8;
5    for T'Small use 0.1;
6    for T'Size use 4;
7    type T2 is new T range -0.4 .. 0.4;
8    for T2'Small use 0.0625;
9 end Delta_Small;