Re: new_line in a put_line

[Stephen Leake <Stephen.A.Leake@nasa.gov>]

Jeffrey Carter <jrcarter@acm.org> writes:

> Stephen Leake wrote:
> > Assuming Lock is a controlled type, that releases the lock in
> > Finalize, this [using a semaphore] is an excellent design.
> 
> I would disagree. Using a high-level feature such as a protected type
> to implement a low-level construct such as a semaphore is abstraction
> inversion. 

I said nothing about a "protected" type; I was talking about a
"controlled" type.

-- 
-- Stephe