Re: Quantified Expressions: "some"

[Andre <avsaway@hotmail.com>]

On 11/19/2010 21:03, Vinzent Hoefler wrote:
> 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< --
>
or when "00" => Rnd_Out <= (others => '0')