On Fri, 18 Jan 2013 16:04:27 +0100, Tom Tromey wrote: > The status quo is that some symbols have return types and some do not. I understand what is happening there. > This causes bugs. My argument is that uniformity is better. >From the user point of view it for most of the real world cases it currently works better than with your patch. Thanks, Jan