On 18 Nov 2009, at 17:58, Jonas Maebe wrote: > Also note that the difference between hints and warnings is exactly that > hints are not guaranteed to be 100% correct or relevant in all situations; if > they were, then they would be warnings.
Or notes. In order of usefulness/accuracy, we have errors, warnings, notes and hints. Jonas_______________________________________________ fpc-pascal maillist - fpc-pascal@lists.freepascal.org http://lists.freepascal.org/mailman/listinfo/fpc-pascal