Re: Question on variant/discriminated records

[Gautier write-only address <gautier_niouzes@hotmail.com>]

> > Imagine you have a function Evaluate (r : rec1_Type) return Float. 
> > Except in trivial cases like 
> > if r.option1 = b then result := result + r.y; end if; 
> > the compiler cannot guess the value of the discriminant. 
> >
> Isn't the discriminant stored in the record ?

Yes. But if both "y"s were allowed, the compiler should for the non-trivial cases, generate a hidden "case" instruction to select the right "y" depending on the value of option1 (both "y"s are not necessarily at the same position in the record). Certainly the language designers have considered the additional complexity and performance cost of that point. Fortunately the nested choice as suggested by Dmitry solves the problem.