1 -- day.adb: a procedure illustrating enumeration types and IO 2 3 with Ada.Text_IO; 4 use Ada; 5 6 procedure Day is 7 8 type Day_Type is (Mon, Tue, Wed, Thu, Fri, Sat, Sun); 9 package Day_IO is new Text_IO.Enumeration_IO (Enum=>Day_Type); 10 11 Day : Day_Type; 12 13 begin 14 15 Day_IO.Get (Day); 16 Day_IO.Put (Day, Set=>Text_IO.Lower_Case); 17 18 end Day;