Re: Quantified Expressions: "some"

["Vinzent Hoefler" <0439279208b62c95f1880bf0f8776eeb@t-domaingrabbing.de>]

Georg Bauhaus wrote:

> (a) know that "=>" is just an arrow for associations(*), and
>
> (b) know that its very mirror, "<=" is defined at a very different
> linguistic level, that of relational operators.
>
> This *is* confusing (and is an opportunity for condescension of
> Him Who Knows Ada Well), even though this piece of obfuscation is old,
> if rarely used in the past.

It's even more confusing if you know Ada's little sister VHDL, where the
"<=" actually is a signal assignment:

           .-- 8< --
          |      if (Reset = '1') then
here ==> |         Rnd_Out <= (others => '0');
          |      elsif Rising_Edge (Clock) then
           `-- 8< --

Or, if you already think that's funny, then take a look at a case
statement:

-- 8< --
    case Input_Select is
       when "00"   => Output <= In (0);
       [...]
       when others => Output <= 'Z';
    end case;
-- 8< --


Vinzent.

-- 
Mail address temporary, use domain to filter.