Re: strange length check error

[Mehdi Saada <00120260a@gmail.com>]

It's done. I ran the test program, and fortunately, it tells nothing about the core package I spent time on. At least it complies with the specification, though the behavior might be partialy wrong, I'll see that later. But it still shows error with IO child package, which I modified too but contains only:


   function Get_Line (
         File : File_Type := Standard_Input )
     return Bounded_String;

   procedure Put_Line (
         File :        File_Type := Standard_Output;
         Item : in     Bounded_String );

   procedure Put (
         File :        File_Type := Standard_Output;
         Item : in     Bounded_String );

as specs, and as bodies:

   procedure Put (
         File :        File_Type := Standard_Output;
         Item : in     Bounded_String ) is
   begin
      Put(File, Item.Data );
   end Put;

   procedure Put_Line (
         File :        File_Type := Standard_Output;
         Item : in     Bounded_String ) is
   begin
      Put_Line (File, Item.Data );
   end Put_Line;

   function Get_Line (
         File : File_Type := Standard_Input )
     return Bounded_String is
      Ch : Unbounded_String;
   begin
      Ch := Get_Line(File);
      return (Length(Ch), Slice(Ch,1,Length(Ch)));
   end Get_Line;

Originally, there was subprograms with, and without the File parameters. I didn't get why, and put instead default file parameters. I suspect there is a reason I never saw such default parameters in generic package before, but I couldn't help but give a try...

There are the errors:
crea_ora.adb:32:07: no candidate interpretations match the actuals:
crea_ora.adb:32:07: too many arguments in call to "Put_Line"
crea_ora.adb:32:17: expected private type "Ada.Text_Io.File_Type"
crea_ora.adb:32:17: found private type "Bounded_String" defined at p_bounded_g.ads:21, instance at p_bounded_80.ads:6
crea_ora.adb:32:17:   ==> in call to "Put_Line" at p_bounded_g-p_bounded_g_io.ads:17, instance at p_bounded_io_80.ads:9
crea_ora.adb:32:17:   ==> in call to "Put_Line" at a-textio.ads:259

One such piece for each call on Put, Put_Line or Get_Line.