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
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..)
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..)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)The text was updated successfully, but these errors were encountered: