Hi Tillmann > > http://www.cs.york.ac.uk/fp/darcs/hoogle/src/Hoogle/Query/Parser.hs > > My guess: names can never fail, so types is never tried, and eof fails. You are correct. Thanks very much! Neil