Re: Announce: The Ultimate SI Units Cracker

[Dmitry A.Kazakov <mailbox@dmitry-kazakov.de>]

Wes Groleau wrote:

> "Dmitry A.Kazakov" wrote:
>> Then any discriminant-based solution faces the following problems:
>> 
>> 1. There is no way to force the compiler to remove statically known
>> discriminants and calculate expressions on them at compile-time.
> 
> I prefer to look at it as
> "There's no rule to prevent a compiler vendor from ....
>  and no way to prevent a user from selecting that compiler."

Is it absolutely true? I mean, ARM precisely defines what is "static" and 
what is not. So an expression involving static discriminants could be 
*formally* non-static, even if its outcome were known at compile-time. Thus 
such an outcome would be not allowed to appear where a static value is 
expected.

-- 
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de