On Wed Dec 13 10:12:51 2023 +0000, Giovanni Mascellani wrote:
This is a bit hard to parse for me:
- "Condition" is overloaded here: one meaning if the condition (i.e.,
first) argument to the ternary construct, which I believe to be what you mean; another meaning is the fact that the following is a list of "conditions" that must be satisfied for compilation to succeed;
- you mention "two" things, and then "one" and the "other": since the
ternary construct deals with three arguments, I'm not sure of what you mean. Are the "two" the type of the first argument and the combined type of the latest two arguments to the ternary construct?
I'll try to clarify this one. Your assumptions of my meaning are correct.