Results filter is ignored if Results are not previously evaluated
When using the
Results object of a previous search as filter for a new search the filter is ignored unless the results are force to be evaluated previously (e.g. by manually calling it's docs() method)
I have attached a small test-script that can be used to reproduce the issue as well as a possible patch. However I have never actually used whoosh before, so take it with a grain of salt ;).