On Dec 12, 2011, at 3:32 AM, Dave Mitchell wrote: > On Thu, Dec 08, 2011 at 04:38:45PM -0000, Father Chrysostomos wrote: >> We may need first to decide what /[$qr]/ should do. > > Should it do anything useful? How do you define ‘useful’? :-) I really don’t know what it should do, and whether we should try to preserve the current behaviour, which, suprisingly enough, I don’t find at all surprising. But a syntax error (because ‘[’ is a separate piece from $qr) wouldn’t be surprising either.Thread Previous