demand_empty_rest_of_line and ignore_rest_of_line

[Nathan Sidwell <nathan at codesourcery dot com>]

Hi,
what is the intended difference between demand_empty_rest_of_line and
ignore_rest_of_line? From the source I see that demand_empty_ROL skips
whitespace but ignore_ROL does not. Then, demand_empty falls into
ignore_ROL to issue a warning and skip up to the EOL. All but one use
of ignore_ROL I saw (I've not checked the config dir yet) were of the form
	as_{bad,warn} ("something bad happened");
	ignore_rest_of_line ();
which implies to me that ignore_ROL should be silent.

Also, what do people think about demand_empty_ROL issuing an error?
IMHO, if the syntax requires no more stuff, it's an error if there is
more stuff.

Would a patch which made ignore_ROL silent and demand_empty_ROL issue
an error be acceptable?

nathan

--
Nathan Sidwell    ::   http://www.codesourcery.com   ::     CodeSourcery LLC
nathan@codesourcery.com    ::     http://www.planetfall.pwp.blueyonder.co.uk