HomeSoftware Heritage

grammar: Prevent 'isoDateTime' rule from being too greedy

Description

grammar: Prevent 'isoDateTime' rule from being too greedy

When giving a date (with no time), it captures trailing whitespaces,
so the date in queries like 'last_visit >= 2020-01-01 and ...' is
parsed as '2020-01-01 ', which makes ES error.

Details

Provenance
vlorentzAuthored on Feb 16 2022, 11:35 AM
vlorentzPushed on Feb 16 2022, 1:11 PM
Differential Revision
D7185: grammar: Prevent 'isoDateTime' rule from being too greedy
Parents
rDSEAb35df430b7e7: translator: Fix 'visited = false' queries to actually return results.
Branches
Unknown
Tags
Unknown
References
tag: v0.13.0
Tasks
Restricted Maniphest Task
Restricted Maniphest Task
Build Status
Buildable 26901
Build 42051: test-and-buildJenkins console · Jenkins