Ternary expressions should only accept boolean first arguments

[ning-y]

Probably part of RTTC.

[ning-y]

Hi Prof @martin-henz,

Currently, the specifications state that ternary expressions will only accept boolean expressions as their first argument ("Preceding ?, Source only allows boolean expressions"). Should we also implement the same restriction for if statements?

Meaning, should the type of a in the following program be required evaluate to a boolean value?

if (a) {
    0;
} else {
    1;
}

[martin-henz]

Yes, that was a gap in the specs. It should say:

Preceding ? and following if, Source only allows boolean expressions.

I've pushed the change in the specs.