Re: strange length check error

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 18-01-17 21:43 , Simon Wright wrote:
 > Not sure what the problem is, but this looks like a case where you
 > should *not* 'use Ada.Text_IO;', especially in the spec.

On 18-01-17 23:37 , Mehdi Saada wrote:
> Ah ? Ah how am I gonna use File_Type then ? I can't do otherwise.

By qualifying with the name of the package in which it is defined:

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

> If there is a way to do IO without Ada.Text_IO, I'm open.

As I understood Simon (but perhaps I should have let him answer), the 
point was to say only

    with Ada.Text_IO;

but *not* add

    use Ada.Text_IO;

because you are defining operations (Get_Line, Put_Line, ...) with the 
same names as operations in Ada.Text_IO, and you could get into problems 
with one definition hiding another.

The question "to 'use', or not to 'use'" is a big discussion in 
Ada-land, with people having different styles and preferences.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .