Re: Negative float problem

[Martin Dowie <martin.dowie@btopenworld.com>]

Robert A Duff wrote:
> I wasn't talking about the difference between enums in C++ versus Ada.
> I was talking about the difference in overload resolution rules.
> Namely that the result type of a function call is used to resolve
> in Ada, but not in C++.  (And by the way Ada has this weird idea
> that enum lits are functions.)

I actually rather like this 'weird idea' - it can be very handy with 
generics:

generic
    type Foo is private;
    with function Is_A_Bar (F : Foo) return Boolean;
procedure Generic_Do_Something (F : Foo);

procedure Do_Something is
    new Generic_Do_Something (Integer, True);
    -- Integers are always Bars

procedure Do_Something is
    new Generic_Do_Something (Float, False);
    -- Floats are never Bars

procedure Do_Something is
    new Generic_Do_Something (My_Type, Is_This_A_Bar);
    -- My_Types are sometimes Bars

Cheers

-- Martin