Open art-w opened 7 months ago
When searching in documentation comments, some words appear to not be indexed. For example Stdlib.Array.get disappears once we add the words from the second line of its documentation to the query (invalid argument, negative, outside..)
Stdlib.Array.get
I suspect this line in odoc.search is responsible for ignoring @raise ... sections of the comment : https://github.com/ocaml/odoc/blob/master/src/search/text.ml#L53 (since we index the text rendering and not the html one)
odoc.search
@raise ...
When searching in documentation comments, some words appear to not be indexed. For example
Stdlib.Array.getdisappears once we add the words from the second line of its documentation to the query (invalid argument, negative, outside..)I suspect this line in
odoc.searchis responsible for ignoring@raise ...sections of the comment : https://github.com/ocaml/odoc/blob/master/src/search/text.ml#L53 (since we index the text rendering and not the html one)