[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Issue: TAGBODY-CONTENTS (Version 4)



TAGBODY-CONTENTS:FORBID-EXTENSION is fine.

I hope it's clear enough that it is -not- an error to have
duplicate tags in a TAGBODY if no one goes to them.  This is
implied but not stated explicitly within the body of the proposal.