Dia de la Semana en lenguaje ADA (day)

Implemente un programa llamado Day que muestre al usuario un mensaje solicitándole un número entero comprendido entre 1 y 7, y muestre el mensaje: "LUNES", "MARTES", "MIÉRCOLES", "JUEVES", "VIERNES", "SÁBADO" o "DOMINGO", según el número introducido por el usuario sea: 1, 2, 3, 4, 5, 6, o 7. Si el usuario introduce un número que no está comprendido entre 1 y 7, el programa mostrará el mensaje: "DESCONOCIDO".

with Text_IO, Ada.Integer_Text_IO; use Text_IO, Ada.Integer_Text_IO;
procedure Day is
a : Integer;
begin
Put_Line ("Introduzca Un Numero Entero Entre 1 y 7:");
New_Line;
Get (a);
-- utilizamos un case para elegir las diferentes opciones
-- dependiendo del valor que se introduzca
case a is
-- caso 1 devuelve lunes
when 1 =>
Put ("LUNES");
-- caso 2 devuelve martes
when 2 =>
Put ("MARTES");
-- caso 3 devuelve miercoles
when 3 =>
Put ("MIÉRCOLES");
--caso 4 devuelve jueves
when 4 =>
Put ("JUEVES");
--caso 5 devuelve viernes
when 5 =>
Put ("VIERNES");
--caso 6 devuelve Sabado
when 6 =>
Put ("SÁBADO");
--caso 1 devuelve domingo
when 7 =>
Put ("DOMINGO");
--en otro caso devuelve desconocido
when others =>
Put ("DESCONOCIDO");
end case;
end Day;