Parse error on john AND -doe

[ddelemeny]

Describe the bug

From quickwit-oss/quickwit-datasource#56

Quickwit fails to parse john AND -doe :

However, the equivalent following queries parse correctly
john AND (-doe)
john -doe
john AND NOT doe

Configuration:
Quickwit 0.7.1 (0.7.1 2024-02-07T11:47:08Z)

[trinity-1686a]

tantivy's strict query parser doesn't allow mixing boolean expr keywords (AND/OR) with occurs symbols (+/-)
the lenient parser (not integrated in Quickwit yet) allows this kind of things

[ddelemeny]

Okay,thanks @trinity-1686a, that explains it.

Should we outline the limitation in the docs ?

[fulmicoton]

@trinity-1686a could we allow this in the non-lenient parser? It seems unambiguous.

[trinity-1686a]

@ddelemeny if it stays that way, probably

@fulmicoton previously we didn't have any logic to manage that kind of situation, now that we have (for the purpose of the lenient parser), having it for the strict parser sounds like a good idea.
An open question then is how should john OR +doe be interpreted. The lenient parse thinks it's *john +doe iirc, but maybe *john *doe would be less surprising (* denoting the "Should" occur)

[fmassot]

+1 to handle that in the strict parser.