On Tue, Apr 29, 2008 at 02:05:58PM -0700, Simon Marlow wrote: > > that with the qualified operator change, this becomes: > > f.g f . g (three tokens) > F.g F.g (qualified `g') > f.(.) f . (.) (three tokens) ***** > F.(.) F.(.) (qualified `.') > F. F . (two tokens) And [f..], [F..] etc will parse as we want them to too. Sounds OK to me. Thanks Ian