Patrick R. Michaud via RT Sat, 13 Jan 2007 07:58:28 -0800
Resolved in r16591. (Added tests as well as code to throw exception for bare quantifiers.)
Thanks! Pm