Skip to content

Fix incomplete search index #59

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
May 2, 2023
Merged

Fix incomplete search index #59

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b11947b
do not ignore some search entries when traversing
panglesd Apr 25, 2023
f3fc749
fix wrong order for prefix name
panglesd Apr 25, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 7 additions & 2 deletions src/voodoo-gen/search_index.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,7 @@ module Generate = struct
fun n ->
match full_name_aux (n :> Odoc_model.Paths.Identifier.t) with
| [] -> ""
| _ :: q -> String.concat "." q
| _ :: q -> String.concat "." (List.rev q)

let string_of_entry { id; doc } =
Odoc_document.Url.from_identifier ~stop_before:false id >>= fun url ->
Expand Down Expand Up @@ -302,7 +302,12 @@ module Load_doc = struct
| None -> ()
| Some mt_expr -> module_type_expr ppf mt_expr

and simple_expansion _ppf _s_e = ()
and simple_expansion ppf s_e =
match s_e with
| ModuleType.Signature sg -> signature ppf sg
| Functor (param, s_e) ->
let () = functor_parameter ppf param in
simple_expansion ppf s_e

and module_type_expr ppf mte =
match mte with
Expand Down