Parse error on john doe AND error

[fmassot]

By default, Quickwit uses the AND operator. I would expect john doe AND error to be valid.

Am I missing something?

[trinity-1686a]

tantivy strict parser supports two mostly disjoint syntax:

• a boolean operator syntax: john AND doe
• an occur syntax: +john -doe

in the boolean syntax, there must be a boolean operator between each leaf term, and no occurrence marker.
in the occur syntax, there may be an occurrence marker (+/-) before each leaf term, and no boolean operator.

the provided query isn't valid in boolean syntax because it misses an operator between john and doe, and it isn't valid in occur syntax because there is a boolean operator between doe and error.

set_conjunction_by_default() changes what the default occur is in the occur syntax (from Should to Must). It doesn't really affect boolean syntax as all operators must be provided.

Tantivy tests includes a few example of things rejected in strict parsing, but allowed in lenient parsing, and what's the result (in occur syntax). We could try to make more syntax work with the strict parser, by leveraging that part of the lenient parser.

[fmassot]

@trinity-1686a thanks for the explanation. if Lucene considers "john doe AND error" valid, we should consider it valid too.