On Wed, Jun 3, 2009 at 2:50 AM, Jay Foad<jay.foad at gmail.com> wrote: >> Though, opt -verify does not currently reject the testcase I posted. > > Is it OK to commit my changes to LangRef.html and then raise bugs > against -verify if it doesn't do what I said? :-) Looks fine. I think -verify got fixed recently to do the right thing here. -Eli