Error in pure contract example?

[chipshort]

This line here looks like it should be a call to foo() instead. There is noSecretFunc defined anywhere.

[lerno]

Yes, thank you, I'll fix it.

[lerno]

Wow, it looks really broken.

[lerno]

Does it look better now?

[chipshort]

Now both examples under "Pure in detail" look the same except that one claims "The compiler cannot reason about this!" while the other claims it throws an error. Which one is it?

[corsinmusic]

Yeah, I also just noticed that both examples are the same except for the comment on line 15.

[lerno]

Updated again...