You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
May be because the () are not being escaped correctly in the URL?
%28 could be used instead?
I have not looked at how the querying is passed down yet, but this should be fixed too.
I need to dig more into how the zoekt parser works, but for reference test lang:python and (test lang:python) are equivalent. (1, 2)
Another data point is that lang:python works, but (lang:python) does not (1, 2).
Ultimately, these feel like edge-case within zoekt's parser. One UX thing we can do is add error underlying (aka "red squiggles") that highlight syntax errors in the user's query.
I tried this with sourcegraph, and it seems to work there. Is there any chance that the sourcebot backend is doing anything?
Alternatively I can open a PR in the zoekt repo adding this as a test case (and fix it there in the parser if it's actually broken)
When executing the query
test lang:python
on the demo, this produces 15 results:https://sourcebot.dev/search?query=test%20lang%3Apython
When this is changed to
test (lang:python)
this drops to 0.https://sourcebot.dev/search?query=test%20(lang%3Apython)
this should be equivalent, so something is getting mangled.
The text was updated successfully, but these errors were encountered: