Re: enumeration type

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Peter Hermann <ica2ph@sinus.csv.ica.uni-stuttgart.de> wrote:
 
: type fuzzy is (false,true,maybe);
: 
: and now a final joke:
: 
:> if X = Standard.Boolean.True then
: 
: (-:         if x then           :-)

:)

If you don't dislike writing down what you want to say,
you can use qualified notation:

procedure p is
   type Ternary_Logical is (True, Maybe, False);
   v: Ternary_Logical;
   b: Boolean;
begin
   if b = Boolean'(True) and v = Ternary_Logical'(True) then
      null;
   end if;
end p;


-- Georg