Re: new_line in a put_line

[Fraser Wilson <newsfraser@blancolioni.org>]

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> writes:

> Just do not do I/O from them. Define a mutex as a protected object and
> a spin lock as a controlled type (less troubles with releasing a
> mutex):

[..]

>    procedure Put_Line (Text : String) is
>       Get_It : Lock (Write_Mutex'Access);
>    begin
>       Ada.Text_IO.Put_Line (Text);
>    end Put_Line;

Something inside me rebels at using side-effects from a declaration
like that.  I can't really talk; my database library unlocks objects
as they go out of scope, but ... well, I know that code gets executed
in declarations, but I don't necessarily want to be this aware of it.

On the other hand, it's just a monitor, I shouldn't be so scared :)

cheers,
Fraser.