-- { dg-do compile } | |
-- { dg-options "-gnatwu" } | |
with Ada.Command_Line; use Ada.Command_Line; | |
with Text_IO; use Text_IO; | |
procedure warn3 is | |
type Weekdays is (Sun, Mon, Tue, Wed, Thu, Fri, Sat); | |
begin | |
if Argument_Count > 0 then | |
Put_Line | |
(Argument (1) & " is weekday number" | |
& Integer'Image | |
(Weekdays'Pos (Weekdays'Value (Argument (1))))); | |
end if; | |
end; |