Re: ToString?

[Jeffrey Carter <jeffrey.carter@boeing.com>]

Christoph Grein wrote:
> 
> From: Jeffrey Carter <jeffrey.carter@boeing.com>
> 
> > > Ah, the '0' isn't a positive number thang!
> >
> > It's easy enough to test:
> >
> > with Ada.Text_IO;
> > use Ada.Text_IO
> > procedure Is_Zero_Positive is
> >    Zero : constant := 0;
> > begin -- Is_Zero_Positive
> >    if Zero in Positive then
> >       Put_Line ("Zero is Positive");
> >    else
> >       Put_Line ("Zero is not Positive");
> >    end if;
> > end Is_Zero_Positive;
> >
> > This puts "Zero is not Positive" to the standard output. QED.
> 
> You mean a test or a mathematical proof? For a test, this is OK.

I said "test". You are perhaps confused by my use of "QED", which of
course is TED's brother.

-- 
Jeffrey Carter