>These are essentially internal error messages - none of them should
>ever happen. They do now, of course.
>
>IMVHO I like Michael's change; now when people report these error
>messages I'll know automatically which one they are. They tend to be
>only spontaneously reproducible.
If it is a internal error, call internal_error().
From a practicality viewpoint, I refuse to do that when we know of
multiple situations which trigger these problems. I still get them
reported to me every couple of weeks.
Sorry I don't see the problem. If it is an internal error then it
should be reported as such. That way the user can do things like
provide us with a core dump.