Re: Range excluding 0.0

[csampson@inetworld.net (Charles H. Sampson)]

vlc <just.another.spam.account@googlemail.com> wrote:
> 
> I would like to declare a subtype of Float which ranges from 0.0
> (excluded) to Float'Last. Is there a way to exclude the 0.0 from the
> range?

     You've already got the answer you need, but your question brings up
another that I've recently been puzzled about.  Why doesn't Ada allow
all four flavors of ranges commonly used by mathematicians (and others):
individually including or excluding the endpoints?  I've been around Ada
since close to the beginning and I don't recall that this was ever
discussed.  At the same time, I have this vague memory that one of the
candidate languages might have had it, but I can't remember which one it
might have been.

     This is not just theoretical musing.  I currently work in the world
of compasses, so a range of the form [0.0 .. 360.0) is quite natural.
(That notation is neither mathematical nor Ada.  I hope its meaning is
clear.)

                        Charlie
-- 
All the world's a stage, and most 
of us are desperately unrehearsed.  Sean O'Casey