GNAT bug? with ada.calendar

GNAT bug? with ada.calendar

[Michael A. Packer]

I gave a student a program to work on in our intro to computer
programming class using the + function as defined in ada.calendar and
he came back with something that I didn't think should even compile
but strangely enough it does....can someone explain why?


==============================================================================
with ada.text_io;
with ada.integer_text_io;
with ada.calendar;

procedure test_calendar is

x1 : duration := duration(5676);
x2 : duration := duration(3456);
x3 : duration := duration(0);

begin

 x3 := ada.calendar."+" (x1,x2);

 ada.integer_text_io.put (integer(x1),1);
 ada.text_io.new_line;
 ada.integer_text_io.put (integer(x2),1);
 ada.text_io.new_line;
 ada.integer_text_io.put (integer(x3),1);
 ada.text_io.new_line;

end test_calendar; 
==============================================================================


> gnatmake -v

GNATMAKE 3.05 (960607) Copyright 1995 Free Software Foundation, Inc.
Usage: gnatmake  opts  name  {[-cargs opts] [-bargs opts] [-largs opts]}


the specs for + don't show calling it with left = duration and
right=duration and result also being a duration type....


-- 
Ph. 540-831-5978  Radford Univ. CS SysAdmin  http://www.runet.edu/~pac
  Nascar Pick12 Contest: http://www.cs.runet.edu/~pac/pick12.html
   All I ask is a chance to prove that money can't make me happy.   
     Make it idiot proof and someone will make a better idiot.