Re: Problem report #

[Richard Stallman]

    > Event const: After this line, the value of "type_seen" is equal to 1
    > Event assignment: Assigning "1" to "type_seen"
    > Also see events: [dead_error_line][dead_error_condition][assignment]

    Uhm, as far as I can tell, type_seen may very well be 0 after this.
    There are several cases where the code won't goto the typeseen label.

I agree.  I think the report is a confusion.
Dan, please mark this as not a real bug.