Partially matching ID queries
This commit is contained in:
parent
b91b556b79
commit
aae83be27a
|
@ -5,7 +5,10 @@ let authored query_string =
|
||||||
fun n -> Person.Set.predicate q n.Text.authors
|
fun n -> Person.Set.predicate q n.Text.authors
|
||||||
|
|
||||||
let ided query_string =
|
let ided query_string =
|
||||||
fun n -> n.Text.id = query_string
|
let len = String.length query_string in
|
||||||
|
fun n ->
|
||||||
|
try String.sub n.Text.id 0 len = query_string
|
||||||
|
with Invalid_argument _ -> false
|
||||||
|
|
||||||
let keyworded query_string =
|
let keyworded query_string =
|
||||||
let q = String_set.query query_string in
|
let q = String_set.query query_string in
|
||||||
|
|
Loading…
Reference in New Issue