17 Mar
2011
17 Mar
'11
5:07 p.m.
I think the comments to the effect that the default for the return value should be changed from void to "dont_care" or some such type are correct. I'm not much concerned whether it's possible to check for void return types as I can't think of a use for that ;-)
If we use "dont_care" instead of "void", we must do something when "void" is used. So to me it means that we have the following choice: 1. default=void -> do not check 2. default=dont_check, void -> check for void return
I notice there are some non-ASCII characters in the header file copyrights - I can't remember off hand whether we still prohibit that, but I suspect we do (with apologies to all non-English folk!!)
I can change that... Frédéric